Lines Matching refs:UnprocessedSubVals
274 std::queue<const Formula *> UnprocessedSubVals; in buildCNF() local
276 UnprocessedSubVals.push(Val); in buildCNF()
277 while (!UnprocessedSubVals.empty()) { in buildCNF()
279 const Formula *Val = UnprocessedSubVals.front(); in buildCNF()
280 UnprocessedSubVals.pop(); in buildCNF()
287 UnprocessedSubVals.push(F); in buildCNF()
310 std::queue<const Formula *> UnprocessedSubVals; in buildCNF() local
312 UnprocessedSubVals.push(Val); in buildCNF()
313 while (!UnprocessedSubVals.empty()) { in buildCNF()
314 const Formula *Val = UnprocessedSubVals.front(); in buildCNF()
315 UnprocessedSubVals.pop(); in buildCNF()
419 UnprocessedSubVals.push(Child); in buildCNF()