Searched refs:ProcessedSubVals (Results 1 – 1 of 1) sorted by relevance
253 std::vector<bool> ProcessedSubVals(NextVar, false); in buildBooleanFormula() local270 if (ProcessedSubVals[Var]) in buildBooleanFormula()272 ProcessedSubVals[Var] = true; in buildBooleanFormula()