- class Configuration.Application#
Options that describe the
Application Schemethat is used for the individual equivalence checkers.
- property profile#
Gate Costapplication scheme can be configured with a profile that specifies the cost of gates. At the moment, this profile can be set via a file that is constructed similar to a lookup table. Every line
<GATE_ID> <N_CONTROLS> <COST>specified the cost for a given gate type and with a certain number of controls, e.g.,
X 0 1denotes that a single-qubit X gate has a cost of
X 2 15denotes that a Toffoli gate has a cost of