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()