Searched refs:ProcessedSubVals (Results 1 – 1 of 1) sorted by relevance
300 std::vector<bool> ProcessedSubVals(NextVar, false); in buildCNF() local318 if (ProcessedSubVals[Var]) in buildCNF()320 ProcessedSubVals[Var] = true; in buildCNF()