Searched refs:CNFFormula (Results 1 – 3 of 3) sorted by relevance
68 class CNFFormula {100 explicit CNFFormula(Variable LargestVar);140 friend class CNFFormula; variable141 CNFFormula *CNF;143 Iterator(CNFFormula *CNF, size_t Idx) : CNF(CNF), Idx(Idx) {} in Iterator()173 CNFFormula buildCNF(const llvm::ArrayRef<const Formula *> &Formulas,
36 explicit CNFFormulaBuilder(CNFFormula &CNF) : Formula(CNF) {} in CNFFormulaBuilder()92 CNFFormula &Formula;99 CNFFormula::CNFFormula(Variable LargestVar) in CNFFormula() function in clang::dataflow::CNFFormula105 void CNFFormula::addClause(ArrayRef<Literal> lits) { in addClause()116 CNFFormula buildCNF(const llvm::ArrayRef<const Formula *> &Formulas, in buildCNF()154 CNFFormula CNF(NextVar - 1); in buildCNF()280 CNFFormula FinalCNF(NextVar - 1); in buildCNF()
39 CNFFormula CNF;291 const CNFFormula::Iterator FalseLitWatcherStart = in updateWatchedLiterals()293 CNFFormula::Iterator NewWatchedLitIter = FalseLitWatcherStart.next(); in updateWatchedLiterals()