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