z iLSrSSKrSSKJr SSKJrJr "SS5rSrSr g) z@Circuit synthesizers and related classes for boolean expressionsN)QuantumCircuit)ZGateXGatec0\rSrSrSrSrSrSrSrSr g) EsopGeneratorzkGenerates an ESOP (Exlusive-sum-of-products) representation for a boolean function given by its truth tablecFXl0UlURSS9Ulg)N) assignment) truth_tablecofactor_table generate_esopesop)selfr s k/home/james-whalen/.local/lib/python3.13/site-packages/qiskit/synthesis/boolean/boolean_expression_synth.py__init__EsopGenerator.__init__s%& &&"&5 cn[[U55Vs/sHo1UX#:wdMUPM sn$s snf)z1The indices of variables where the clauses differ)rangelen)rclause1clause2is r clause_diffEsopGenerator.clause_diffs0 W.K.a!* 2J.KKKs22c^SnX-nU(aSn[R"US5HyupVURXV5n[U5S:XdM'USUSS-XWSS-S-nX;dMDUR U5 UR U5 UR U5 Sn O U(aMU$)zKCombining clauses of distance 1 until no more combinations can be performedTFNr-) itertools combinationsrrremoveappend) r clauses_1 clauses_2something_changedcombined_clausesclause_1clause_2diff new_clauses rcombine_and_optimize"EsopGenerator.combine_and_optimize s $0 % &/&<&<=Mq&Q"'';t9>!))DG!4s!:X1gPQkm=T!TJ!9(//9(//9(// ;,0)'R  rc[U5URR:Xa0URU(aSURR-/$/$[U5nURUS-5nURUS-5nUVs/sHoUSUS-XRS-S-PM nnUVs/sHoUSUS-XRS-S-PM nnUR Xg5UR U'UR U$s snfs snf)zRecursively generates an ESOP for a partially determined boolean expression 'assignment' is a partial assignment to the expression's variables r )F)TN0r1)rr num_bitsrr-r )rr r negative_esop positive_esopclausenegative_esop_bool_expandedpositive_esop_bool_expandeds rrEsopGenerator.generate_esop2s# z?d..77 7 +d..77788  O**:+@A **:+?@ >K' =J62AJ v!eg .] $' >K' =J62AJ v!eg .] $' +/*C*C '+ J'"":..' ' s C2*C7)r rr N) __name__ __module__ __qualname____firstlineno____doc__rrr-r__static_attributes__r rrrrs76 L $/rrc [U5nUVVs/sH/n[[U5Vs/sHoDSS:wdM UPM sn6PM1 nnnUHupgSRU5n[ U5S:XaLUS:XaUR US5 UR US5 US:XaUR US5 MoMq[5R[ U5S- USSSSS2S9n USS:XaUR US5 URX5 USS:XdMUR US5 M U$s snfs snnf) z Generates a phase oracle for the boolean function f given in ESOP (Exlusive sum of products) form esop is of the form ('01-1', '11-0', ...) etc where 1 is the variable, 0 is negated variable and - is don't care rr r0rN ctrl_state) rzip enumeratejoinrxzrcontrolr$) r num_qubitsqcr5 qubit_data clause_data qubit_indices control_data control_stategates rsynth_phase_oracle_from_esoprRMsV  #BF If,=V,=jARUAUz,=V W(3#  - }  "#]1%& DDq! "#]1%&$7??3}#5#9mTWUWFXY][]Y]F^?_DR C']2&' IId *R C']2&'(3 I'WsE D=D=E=Ec hUS- n[U5nUVVs/sH/n[[U5Vs/sHoUSS:wdM UPM sn6PM1 nnnUHRupxSRU5n [ 5R [ U5U SSS2S9n URXU4-5 MT U$s snfs snnf)z Generates a bit-flip oracle for the boolean function f given in ESOP (Exlusive sum of products) form esop is of the form ('01-1', '11-0', ...) etc where 1 is the variable, 0 is negated variable and - is don't care rr r@NrArB)rrDrErFrrIrr$) rrJ output_indexrKr5rLrMrNrOrPrQs rsynth_bit_oracle_from_esoprUks >L  #BF If,=V,=jARUAUz,=V W(3#  - ws=1mDbD>QR $78 (3 IWsB. B)B)B.)B.) r=r!qiskit.circuitrqiskit.circuit.libraryrrrrRrUr rrrXs)G)/7/7/t<r