Searched refs:incrementVars (Results 1 – 5 of 5) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bsat/ |
| H A D | satUtil.c | 74 …riteDimacs( sat_solver * p, char * pFileName, lit* assumpBegin, lit* assumpEnd, int incrementVars ) in Sat_SolverWriteDimacs() argument
99 Sat_SolverClauseWriteDimacs( pFile, c, incrementVars ); in Sat_SolverWriteDimacs()
110 i + (int)(incrementVars>0), in Sat_SolverWriteDimacs()
111 (incrementVars) ? " 0" : ""); in Sat_SolverWriteDimacs()
118 lit_var(*assumpBegin) + (int)(incrementVars>0), in Sat_SolverWriteDimacs()
119 (incrementVars) ? " 0" : ""); in Sat_SolverWriteDimacs()
151 Sat_SolverClauseWriteDimacs( pFile, c, incrementVars ); in Sat_Solver2WriteDimacs()
162 i + (int)(incrementVars>0), in Sat_Solver2WriteDimacs()
163 (incrementVars) ? " 0" : ""); in Sat_Solver2WriteDimacs()
170 lit_var(*assumpBegin) + (int)(incrementVars>0), in Sat_Solver2WriteDimacs()
[all …]
|
| H A D | satSolver2.h | 60 …sat_solver2 * p, char * pFileName, lit* assumptionsBegin, lit* assumptionsEnd, int incrementVars );
|
| H A D | satSolver3.h | 72 …sat_solver3 * p, char * pFileName, lit* assumptionsBegin, lit* assumptionsEnd, int incrementVars );
|
| H A D | satSolver.h | 73 … sat_solver * p, char * pFileName, lit* assumptionsBegin, lit* assumptionsEnd, int incrementVars );
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/ |
| H A D | ioWriteCnf.c | 100 void Io_WriteCnfOutputPiMapping( FILE * pFile, int incrementVars ) in Io_WriteCnfOutputPiMapping() argument
110 …rintf( pFile, "c %s %d\n", Abc_ObjName(pObj), Vec_IntEntry(vCiIds, i) + (int)(incrementVars > 0) ); in Io_WriteCnfOutputPiMapping()
|