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