Home
last modified time | relevance | path

Searched refs:iVarA (Results 1 – 11 of 11) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/
H A DsatSolver3.h340 assert( iVarA >= 0 && iVarB >= 0 ); in sat_solver3_add_buffer()
342 Lits[0] = toLitCond( iVarA, 0 ); in sat_solver3_add_buffer()
349 Lits[0] = toLitCond( iVarA, 1 ); in sat_solver3_add_buffer()
363 Lits[0] = toLitCond( iVarA, 0 ); in sat_solver3_add_buffer_enable()
369 Lits[0] = toLitCond( iVarA, 1 ); in sat_solver3_add_buffer_enable()
547 Lits[1] = toLitCond( iVarA, 1 ); in sat_solver3_add_xor_and()
553 Lits[1] = toLitCond( iVarA, 0 ); in sat_solver3_add_xor_and()
564 Lits[1] = toLitCond( iVarA, 1 ); in sat_solver3_add_xor_and()
571 Lits[1] = toLitCond( iVarA, 0 ); in sat_solver3_add_xor_and()
601 Lits[0] = toLitCond( iVarA, 0 ); in sat_solver3_add_half_sorter()
[all …]
H A DsatSolver.h362 assert( iVarA >= 0 && iVarB >= 0 ); in sat_solver_add_buffer()
364 Lits[0] = toLitCond( iVarA, 0 ); in sat_solver_add_buffer()
371 Lits[0] = toLitCond( iVarA, 1 ); in sat_solver_add_buffer()
385 Lits[0] = toLitCond( iVarA, 0 ); in sat_solver_add_buffer_enable()
391 Lits[0] = toLitCond( iVarA, 1 ); in sat_solver_add_buffer_enable()
569 Lits[1] = toLitCond( iVarA, 1 ); in sat_solver_add_xor_and()
575 Lits[1] = toLitCond( iVarA, 0 ); in sat_solver_add_xor_and()
586 Lits[1] = toLitCond( iVarA, 1 ); in sat_solver_add_xor_and()
593 Lits[1] = toLitCond( iVarA, 0 ); in sat_solver_add_xor_and()
623 Lits[0] = toLitCond( iVarA, 0 ); in sat_solver_add_half_sorter()
[all …]
H A DsatSolver2.h275 static inline int sat_solver2_add_buffer( sat_solver2 * pSat, int iVarA, int iVarB, int fCompl, int… in sat_solver2_add_buffer() argument
279 assert( iVarA >= 0 && iVarB >= 0 ); in sat_solver2_add_buffer()
281 Lits[0] = toLitCond( iVarA, 0 ); in sat_solver2_add_buffer()
287 Lits[0] = toLitCond( iVarA, 1 ); in sat_solver2_add_buffer()
319 static inline int sat_solver2_add_xor( sat_solver2 * pSat, int iVarA, int iVarB, int iVarC, int fCo… in sat_solver2_add_xor() argument
323 assert( iVarA >= 0 && iVarB >= 0 && iVarC >= 0 ); in sat_solver2_add_xor()
325 Lits[0] = toLitCond( iVarA, !fCompl ); in sat_solver2_add_xor()
332 Lits[0] = toLitCond( iVarA, !fCompl ); in sat_solver2_add_xor()
339 Lits[0] = toLitCond( iVarA, fCompl ); in sat_solver2_add_xor()
346 Lits[0] = toLitCond( iVarA, fCompl ); in sat_solver2_add_xor()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/
H A DaigRepar.c47 static inline void Aig_ManInterAddBuffer( sat_solver2 * pSat, int iVarA, int iVarB, int fCompl, int… in Aig_ManInterAddBuffer() argument
51 assert( iVarA >= 0 && iVarB >= 0 ); in Aig_ManInterAddBuffer()
53 Lits[0] = toLitCond( iVarA, 0 ); in Aig_ManInterAddBuffer()
59 Lits[0] = toLitCond( iVarA, 1 ); in Aig_ManInterAddBuffer()
77 static inline void Aig_ManInterAddXor( sat_solver2 * pSat, int iVarA, int iVarB, int iVarC, int fCo… in Aig_ManInterAddXor() argument
81 assert( iVarA >= 0 && iVarB >= 0 && iVarC >= 0 ); in Aig_ManInterAddXor()
83 Lits[0] = toLitCond( iVarA, !fCompl ); in Aig_ManInterAddXor()
90 Lits[0] = toLitCond( iVarA, !fCompl ); in Aig_ManInterAddXor()
97 Lits[0] = toLitCond( iVarA, fCompl ); in Aig_ManInterAddXor()
104 Lits[0] = toLitCond( iVarA, fCompl ); in Aig_ManInterAddXor()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/int/
H A DintCheck.c162 void Inter_CheckAddOrGate( Inter_Check_t * p, int iVarA, int iVarB, int iVarC ) in Inter_CheckAddOrGate() argument
166 pLits[0] = toLitCond(iVarA, 1); in Inter_CheckAddOrGate()
176 pLits[0] = toLitCond(iVarA, 0); in Inter_CheckAddOrGate()
194 void Inter_CheckAddEqual( Inter_Check_t * p, int iVarA, int iVarB ) in Inter_CheckAddEqual() argument
198 pLits[0] = toLitCond(iVarA, 1); in Inter_CheckAddEqual()
204 pLits[1] = toLitCond(iVarA, 0); in Inter_CheckAddEqual()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/
H A DmfsInter.c46 int Abc_MfsSatAddXor( sat_solver * pSat, int iVarA, int iVarB, int iVarC ) in Abc_MfsSatAddXor() argument
50 Lits[0] = toLitCond( iVarA, 1 ); in Abc_MfsSatAddXor()
56 Lits[0] = toLitCond( iVarA, 1 ); in Abc_MfsSatAddXor()
62 Lits[0] = toLitCond( iVarA, 0 ); in Abc_MfsSatAddXor()
68 Lits[0] = toLitCond( iVarA, 0 ); in Abc_MfsSatAddXor()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/cnf/
H A DcnfMan.c688 int Cnf_DataAddXorClause( void * pSat, int iVarA, int iVarB, int iVarC ) in Cnf_DataAddXorClause() argument
691 assert( iVarA > 0 && iVarB > 0 && iVarC > 0 ); in Cnf_DataAddXorClause()
693 Lits[0] = toLitCond( iVarA, 1 ); in Cnf_DataAddXorClause()
699 Lits[0] = toLitCond( iVarA, 1 ); in Cnf_DataAddXorClause()
705 Lits[0] = toLitCond( iVarA, 0 ); in Cnf_DataAddXorClause()
711 Lits[0] = toLitCond( iVarA, 0 ); in Cnf_DataAddXorClause()
H A Dcnf.h168 extern int Cnf_DataAddXorClause( void * pSat, int iVarA, int iVarB, int iVarC );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbFunc.c1325 static inline int satoko_add_xor( satoko_t * pSat, int iVarA, int iVarB, int iVarC, int fCompl ) in satoko_add_xor() argument
1329 assert( iVarA >= 0 && iVarB >= 0 && iVarC >= 0 ); in satoko_add_xor()
1331 Lits[0] = toLitCond( iVarA, !fCompl ); in satoko_add_xor()
1337 Lits[0] = toLitCond( iVarA, !fCompl ); in satoko_add_xor()
1343 Lits[0] = toLitCond( iVarA, fCompl ); in satoko_add_xor()
1349 Lits[0] = toLitCond( iVarA, fCompl ); in satoko_add_xor()
/dports/lang/pharo/Pharo-1.4-14438/
H A DPharo-1.4.changes96409 a := #(ClassA SuperA CategoryA #(iVarA) #(CVarA) #(PoolA) #(ciVarA)
H A DPharoV10.sources184708 a := #(ClassA SuperA CategoryA #(iVarA) #(CVarA) #(PoolA) #(ciVarA)