Searched refs:iVarD0 (Results 1 – 2 of 2) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/ |
H A D | satSolver3.h | 475 …r3_add_mux41( sat_solver3 * pSat, int iVarZ, int iVarC0, int iVarC1, int iVarD0, int iVarD1, int i… in sat_solver3_add_mux41() argument 479 …assert( iVarC0 >= 0 && iVarC1 >= 0 && iVarD0 >= 0 && iVarD1 >= 0 && iVarD2 >= 0 && iVarD3 >= 0 && … in sat_solver3_add_mux41() 481 Lits[0] = toLitCond( iVarD0, 1 ); in sat_solver3_add_mux41() 510 Lits[0] = toLitCond( iVarD0, 0 ); in sat_solver3_add_mux41()
|
H A D | satSolver.h | 497 …ver_add_mux41( sat_solver * pSat, int iVarZ, int iVarC0, int iVarC1, int iVarD0, int iVarD1, int i… in sat_solver_add_mux41() argument 501 …assert( iVarC0 >= 0 && iVarC1 >= 0 && iVarD0 >= 0 && iVarD1 >= 0 && iVarD2 >= 0 && iVarD3 >= 0 && … in sat_solver_add_mux41() 503 Lits[0] = toLitCond( iVarD0, 1 ); in sat_solver_add_mux41() 532 Lits[0] = toLitCond( iVarD0, 0 ); in sat_solver_add_mux41()
|