class Configuration.Parameterized

Options that influence the equivalence checking scheme for parameterized circuits.

property additional_instantiations

Number of instantiations shall be performed in addition to the default ones. For parameterized circuits that cannot be shown to be equivalent by the ZX checker the circuits are instantiated with concrete values for parameters and subsequently checked with QCEC’s default schemes. The first instantiation tries to set as many gate parameters to 0. The last instantiations initializes the parameters with random values to guarantee completeness of the equivalence check. Because random instantiation is costly, additional instantiations can be performed that lead to simpler equivalence checking instances as the random instantiation. This option changes how many of those additional checks are performed.

property parameterized_tolerance

Set threshold below which instantiated parameters shall be considered zero.