Searched refs:NextVar (Results 1 – 2 of 2) sorted by relevance
272 Variable NextVar = 1; in buildCNF() local278 Variable Var = NextVar; in buildCNF()284 ++NextVar; in buildCNF()299 CNFFormula CNF(NextVar - 1, std::move(Atomics)); in buildCNF()300 std::vector<bool> ProcessedSubVals(NextVar, false); in buildCNF()425 CNFFormula FinalCNF(NextVar - 1, std::move(CNF.Atomics)); in buildCNF()
107 unsigned NextVar = 1; in applyDebugifyMetadata() local132 std::string Name = utostr(NextVar++); in applyDebugifyMetadata()204 addDebugifyOperand(NextVar - 1); // Original number of variables. in applyDebugifyMetadata()