Searched refs:UnprocessedSubVals (Results 1 – 1 of 1) sorted by relevance
193 std::queue<BoolValue *> UnprocessedSubVals; in buildBooleanFormula() local195 UnprocessedSubVals.push(Val); in buildBooleanFormula()196 while (!UnprocessedSubVals.empty()) { in buildBooleanFormula()198 BoolValue *Val = UnprocessedSubVals.front(); in buildBooleanFormula()199 UnprocessedSubVals.pop(); in buildBooleanFormula()221 UnprocessedSubVals.push(&N->getSubVal()); in buildBooleanFormula()262 std::queue<BoolValue *> UnprocessedSubVals; in buildBooleanFormula() local264 UnprocessedSubVals.push(Val); in buildBooleanFormula()265 while (!UnprocessedSubVals.empty()) { in buildBooleanFormula()267 UnprocessedSubVals.pop(); in buildBooleanFormula()[all …]