Index _ | A | B | C | E | F | G | J | L | M | N | O | P | R | S | T | V _ __init__() (EquivalenceCheckingManager method) __repr__() (Results method) A additional_instantiations (Configuration.Parameterized property) (ConfigurationOptions attribute) alternating_scheme (Configuration.Application property) (ConfigurationOptions attribute) AncillaMode (class in mqt.qcec) ApplicationScheme (class in mqt.qcec) ApplicationSchemeName (in module mqt.qcec.types) augment_config_from_kwargs() (in module mqt.qcec.configuration) B backpropagate_output_permutation (Configuration.Optimizations property) (ConfigurationOptions attribute) C cex_input (Results attribute) cex_output1 (Results attribute) cex_output2 (Results attribute) check_partial_equivalence (Configuration.Functionality property) (ConfigurationOptions attribute) check_time (Results attribute) computational_basis (StateType attribute) Configuration (class in mqt.qcec) Configuration.Application (class in mqt.qcec) Configuration.Execution (class in mqt.qcec) Configuration.Functionality (class in mqt.qcec) Configuration.Optimizations (class in mqt.qcec) Configuration.Parameterized (class in mqt.qcec) Configuration.Simulation (class in mqt.qcec) ConfigurationOptions (class in mqt.qcec.configuration) considered_equivalent() (Results method) construction_scheme (Configuration.Application property) (ConfigurationOptions attribute) E elide_permutations (Configuration.Optimizations property) (ConfigurationOptions attribute) equivalence (Results attribute) equivalence() (EquivalenceCheckingManager method) EquivalenceCheckingManager (class in mqt.qcec) EquivalenceCriterion (class in mqt.qcec) EquivalenceCriterionName (in module mqt.qcec.types) equivalent (EquivalenceCriterion attribute) equivalent_up_to_global_phase (EquivalenceCriterion attribute) equivalent_up_to_phase (EquivalenceCriterion attribute) F fidelity_threshold (Configuration.Simulation property) (ConfigurationOptions attribute) fix_output_permutation_mismatch (Configuration.Optimizations property) (ConfigurationOptions attribute) fix_output_permutation_mismatch() (EquivalenceCheckingManager method) fuse_single_qubit_gates (Configuration.Optimizations property) (ConfigurationOptions attribute) fuse_single_qubit_gates() (EquivalenceCheckingManager method) G gate_cost (ApplicationScheme attribute) generate_profile() (in module mqt.qcec) get_results() (EquivalenceCheckingManager method) J json() (Results method) L lookahead (ApplicationScheme attribute) M max_sims (Configuration.Simulation property) (ConfigurationOptions attribute) N name (ApplicationScheme property) (EquivalenceCriterion property) (StateType property) NO_ANCILLA (AncillaMode attribute) no_information (EquivalenceCriterion attribute) not_equivalent (EquivalenceCriterion attribute) nthreads (Configuration.Execution property) (ConfigurationOptions attribute) numerical_tolerance (Configuration.Execution property) (ConfigurationOptions attribute) O one_to_one (ApplicationScheme attribute) P parallel (Configuration.Execution property) (ConfigurationOptions attribute) parameterized_tolerance (Configuration.Parameterized property) (ConfigurationOptions attribute) performed_simulations (Results attribute) preprocessing_time (Results attribute) probably_equivalent (EquivalenceCriterion attribute) probably_not_equivalent (EquivalenceCriterion attribute) profile (Configuration.Application property) (ConfigurationOptions attribute) proportional (ApplicationScheme attribute) R random_1Q_basis (StateType attribute) reconstruct_swaps (Configuration.Optimizations property) (ConfigurationOptions attribute) reconstruct_swaps() (EquivalenceCheckingManager method) RECURSION (AncillaMode attribute) remove_diagonal_gates_before_measure (Configuration.Optimizations property) (ConfigurationOptions attribute) reorder_operations (Configuration.Optimizations property) (ConfigurationOptions attribute) reorder_operations() (EquivalenceCheckingManager method) Results (class in mqt.qcec.EquivalenceCheckingManager) run() (EquivalenceCheckingManager method) run_alternating_checker (Configuration.Execution property) (ConfigurationOptions attribute) run_construction_checker (Configuration.Execution property) (ConfigurationOptions attribute) run_simulation_checker (Configuration.Execution property) (ConfigurationOptions attribute) run_zx_checker (Configuration.Execution property) (ConfigurationOptions attribute) S seed (Configuration.Simulation property) (ConfigurationOptions attribute) sequential (ApplicationScheme attribute) set_alternating_application_scheme() (EquivalenceCheckingManager method) set_alternating_checker() (EquivalenceCheckingManager method) set_alternating_gate_cost_profile() (EquivalenceCheckingManager method) set_application_scheme() (EquivalenceCheckingManager method) set_construction_application_scheme() (EquivalenceCheckingManager method) set_construction_checker() (EquivalenceCheckingManager method) set_construction_gate_cost_profile() (EquivalenceCheckingManager method) set_fidelity_threshold() (EquivalenceCheckingManager method) set_gate_cost_profile() (EquivalenceCheckingManager method) set_max_sims() (EquivalenceCheckingManager method) set_nthreads() (EquivalenceCheckingManager method) set_parallel() (EquivalenceCheckingManager method) set_seed() (EquivalenceCheckingManager method) set_simulation_application_scheme() (EquivalenceCheckingManager method) set_simulation_checker() (EquivalenceCheckingManager method) set_simulation_gate_cost_profile() (EquivalenceCheckingManager method) set_state_type() (EquivalenceCheckingManager method) set_timeout() (EquivalenceCheckingManager method) set_tolerance() (EquivalenceCheckingManager method) set_trace_threshold() (EquivalenceCheckingManager method) set_zx_checker() (EquivalenceCheckingManager method) simulation_scheme (Configuration.Application property) (ConfigurationOptions attribute) stabilizer (StateType attribute) started_simulations (Results attribute) state_type (Configuration.Simulation property) (ConfigurationOptions attribute) StateType (class in mqt.qcec) StateTypeName (in module mqt.qcec.types) store_cex_input (Configuration.Simulation property) (ConfigurationOptions attribute) store_cex_input() (EquivalenceCheckingManager method) store_cex_output (Configuration.Simulation property) (ConfigurationOptions attribute) store_cex_output() (EquivalenceCheckingManager method) T timeout (Configuration.Execution property) (ConfigurationOptions attribute) trace_threshold (Configuration.Functionality property) (ConfigurationOptions attribute) transform_dynamic_circuit (Configuration.Optimizations property) (ConfigurationOptions attribute) V V_CHAIN (AncillaMode attribute) value (ApplicationScheme property) (EquivalenceCriterion property) (StateType property) verify() (in module mqt.qcec) verify_compilation() (in module mqt.qcec)