gdZddlZddlmZmZddlmZddlmZm Z ddl m Z ddl m Z dd lmZdd lmZdd lmZGd d eZdS)zClassicalFunction classN)CallableOptional)deprecate_func)QuantumCircuitQuantumRegister) QiskitError)HAS_TWEEDLEDUM)ClassicalElement)ClassicalFunctionVisitor)tweedledum2qiskitcDeZdZdZejeddddfd ZdZe d Z e d Z e d Z e d Z d edefdZdZe dZ ddedeeegefdefdZdZe dZxZS)ClassicalFunctionz5Represent a classical function and its logic network.z1.4z in Qiskit 2.0zUse `PhaseOracle` instead, which can be turned into a bit-flip oracle by applying Hadamard gates on the target qubit before and after the instruction, and conditioning.the instruction on the target qubit.)sinceremoval_timelineadditional_msgNc>t|tstdtj||_d|_d|_d|_d|_ t |pdtd|j DgdS)anCreates a ``ClassicalFunction`` from Python source code in ``source``. The code should be a single function with types. Args: source (str): Python code with type hints. name (str): Optional. Default: "*classicalfunction*". ClassicalFunction name. Raises: QiskitError: If source is not a string. z2ClassicalFunction needs a source code as a string.Nz*classicalfunction*c3$K|] }|jV dSN)size).0qregs h/granary/edev/quantum/lib/python3.11/site-packages/qiskit/circuit/classicalfunction/classicalfunction.py z-ClassicalFunction.__init__..<s$<<49<<<<<<) num_qubitsparams) isinstancestrrastparse_ast_network_scopes_args _truth_tablesuper__init__sumqregs)selfsourcename __class__s rr(zClassicalFunction.__init__s*&#&& TRSS SIf%%        ))<<<<<<<      rct}||j|j|_|j|_|j|_|j|_dS)z&Parses and creates the logical circuitN) r visitr"r#scopesr$argsr%r-)r+_classical_function_visitors rcompilezClassicalFunction.compile@sP&>&@&@##))$)4443< 29 05 /4 rcF|j||jS)zReturns the logical network)r#r4r+s rnetworkzClassicalFunction.networkIs! = LLNNN}rcF|j||jS)zReturns the scope dict)r$r4r6s rr1zClassicalFunction.scopesPs! <  LLNNN|rcF|j||jS)z'Returns the classicalfunction arguments)r%r4r6s rr2zClassicalFunction.argsWs! :  LLNNNzrcg}|jD]3}|d|D4|S)zDumps a list of scopes with their variables and types. Returns: list(dict): A list of scopes as dicts, where key is the variable name and value is its type. c&i|]\}}||dS)r)rkvs r z+ClassicalFunction.types..hs":::DAq1Q4:::r)r1appenditems)r+retscopes rtypeszClassicalFunction.types^sK[ < dt |S)zj Returns a truth table. Returns: str: a bitstring with a truth table cTg|]$}tt|%Sr<)rint)rttpositions r z2ClassicalFunction.simulate_all..s-!T!T!TR#c"X,&7&7"8"8!T!T!Tr)ranger#num_pisjoin truth_tabler@reversed)r+result sim_resultrQs @r simulate_allzClassicalFunction.simulate_allzsa4=#8#8#:#::;; & &H!T!T!T!T4CS!T!T!TUUJ MM* % % % %wwx''(((rcTddlm}|j||j|_|jS)z&Returns (and computes) the truth tablerrH)rJrIr&r#)r+rIs rrVzClassicalFunction.truth_tables< 211111   $ ( 7 7D   rT registerless synthesizerc|rd}n|j}|r ||Sddlm}t||jd|j|S)aSynthesis the logic network into a :class:`~qiskit.circuit.QuantumCircuit`. Args: registerless: Default ``True``. If ``False`` uses the parameter names to create registers with those names. Otherwise, creates a circuit with a flat quantum register. synthesizer: Optional. If None tweedledum's pkrm_synth is used. Returns: QuantumCircuit: A circuit implementing the logic network. Nr) pkrm_synth)r-r*)r*tweedledum.synthesisr_r rVr-)r+r\r]r*r_s rsynthzClassicalFunction.synthsn  EEJE  %;t$$ $333333 D,.s>ccc#djQRmTWFX\bFbFb---FbFbFbrrrFrgr rh)r2rDr@r)r+r*s` rr*zClassicalFunction.qregss[dcccccc :a= "f , , LL::: ; ; ; rr)TN)__name__ __module__ __qualname____doc__r require_in_instancerr(r4propertyr7r1r2rDrboolrIrZrVrrr rrardr* __classcell__)r.s@rrrs??'^(/     (' 2555X X X   X  2# 2$ 2 2 2 2 ) ) )!!X!"NR___h(8'9>'IJK_  ____6'''Xrr)rmr typingrrqiskit.utils.deprecationrqiskit.circuitrrqiskit.exceptionsrqiskit.utils.optionalsr classical_elementr classical_function_visitorr utilsr rr<rrrzs %%%%%%%%333333::::::::))))))111111//////@@@@@@$$$$$$[[[[[([[[[[r