/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/ |
H A D | satSolver3.h | 340 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 D | satSolver.h | 362 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 D | satSolver2.h | 275 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 D | aigRepar.c | 47 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 D | intCheck.c | 162 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 D | mfsInter.c | 46 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 D | cnfMan.c | 688 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 D | cnf.h | 168 extern int Cnf_DataAddXorClause( void * pSat, int iVarA, int iVarB, int iVarC );
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
H A D | acbFunc.c | 1325 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 D | Pharo-1.4.changes | 96409 a := #(ClassA SuperA CategoryA #(iVarA) #(CVarA) #(PoolA) #(ciVarA)
|
H A D | PharoV10.sources | 184708 a := #(ClassA SuperA CategoryA #(iVarA) #(CVarA) #(PoolA) #(ciVarA)
|