Searched refs:UnprocessedFormulas (Results 1 – 1 of 1) sorted by relevance
128 std::queue<const Formula *> UnprocessedFormulas; in buildCNF() local130 UnprocessedFormulas.push(F); in buildCNF()131 while (!UnprocessedFormulas.empty()) { in buildCNF()133 const Formula *F = UnprocessedFormulas.front(); in buildCNF()134 UnprocessedFormulas.pop(); in buildCNF()141 UnprocessedFormulas.push(Op); in buildCNF()164 std::queue<const Formula *> UnprocessedFormulas; in buildCNF() local166 UnprocessedFormulas.push(F); in buildCNF()167 while (!UnprocessedFormulas.empty()) { in buildCNF()168 const Formula *F = UnprocessedFormulas.front(); in buildCNF()[all …]