Lines Matching refs:UnprocessedFormulas
129 std::queue<const Formula *> UnprocessedFormulas; in buildCNF() local
131 UnprocessedFormulas.push(F); in buildCNF()
132 while (!UnprocessedFormulas.empty()) { in buildCNF()
134 const Formula *F = UnprocessedFormulas.front(); in buildCNF()
135 UnprocessedFormulas.pop(); in buildCNF()
142 UnprocessedFormulas.push(Op); in buildCNF()
165 std::queue<const Formula *> UnprocessedFormulas; in buildCNF() local
167 UnprocessedFormulas.push(F); in buildCNF()
168 while (!UnprocessedFormulas.empty()) { in buildCNF()
169 const Formula *F = UnprocessedFormulas.front(); in buildCNF()
170 UnprocessedFormulas.pop(); in buildCNF()
274 UnprocessedFormulas.push(Child); in buildCNF()