Searched refs:UnprocessedFormulas (Results 1 – 1 of 1) sorted by relevance
129 std::queue<const Formula *> UnprocessedFormulas; in buildCNF() local131 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() local167 UnprocessedFormulas.push(F); in buildCNF()168 while (!UnprocessedFormulas.empty()) { in buildCNF()169 const Formula *F = UnprocessedFormulas.front(); in buildCNF()[all …]