Lines Matching refs:incrementVars
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()
126 …iteDimacs( sat_solver2 * p, char * pFileName, lit* assumpBegin, lit* assumpEnd, int incrementVars ) in Sat_Solver2WriteDimacs() argument
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()
171 (incrementVars) ? " 0" : ""); in Sat_Solver2WriteDimacs()