Searched refs:UnprocessedSubVals (Results 1 – 1 of 1) sorted by relevance
274 std::queue<const Formula *> UnprocessedSubVals; in buildCNF() local276 UnprocessedSubVals.push(Val); in buildCNF()277 while (!UnprocessedSubVals.empty()) { in buildCNF()280 UnprocessedSubVals.pop(); in buildCNF()287 UnprocessedSubVals.push(F); in buildCNF()310 std::queue<const Formula *> UnprocessedSubVals; in buildCNF() local312 UnprocessedSubVals.push(Val); in buildCNF()313 while (!UnprocessedSubVals.empty()) { in buildCNF()314 const Formula *Val = UnprocessedSubVals.front(); in buildCNF()315 UnprocessedSubVals.pop(); in buildCNF()[all …]