g*FdZddlmZmZddlmZGddeeZdS)zXA quantum oracle constructed from a logical expression or a string in the DIMACS format.)ABCMetaabstractmethod)GatecPeZdZdZededefdZed dZdZ dS) ClassicalElementzThe classical element gate. bitstringreturncdS)zEvaluate the expression on a bitstring. This evaluation is done classically. Args: bitstring: The bitstring for which to evaluate. Returns: bool: result of the evaluation. N)selfrs h/granary/edev/quantum/lib/python3.11/site-packages/qiskit/circuit/classicalfunction/classical_element.pysimulatezClassicalElement.simulates  TNcdS)aSynthesis the logic network into a :class:`~qiskit.circuit.QuantumCircuit`. Args: registerless (bool): Default ``True``. If ``False`` uses the parameter names to create registers with those names. Otherwise, creates a circuit with a flat quantum register. synthesizer (callable): A callable that takes a Logic Network and returns a Tweedledum circuit. Returns: QuantumCircuit: A circuit implementing the logic network. Nr )r registerless synthesizers r synthzClassicalElement.synth%s  rc8||_dS)z9The definition of the boolean expression is its synthesisN)r definition)r s r _definezClassicalElement._define4s**,,r)TN) __name__ __module__ __qualname____doc__rstrboolrrrr rr rrsu%%  #  $    ^      ^  '''''rr) metaclassN)rabcrrqiskit.circuitrrr rr r ss_^''''''''"'"'"'"'"'tw"'"'"'"'"'"'r