Searched defs:UnprocessedFormulas (Results 1 – 1 of 1) sorted by relevance
129 std::queue<const Formula *> UnprocessedFormulas; in buildCNF() local165 std::queue<const Formula *> UnprocessedFormulas; in buildCNF() local