Searched defs:CNFFormulaBuilder (Results 1 – 1 of 1) sorted by relevance
34 struct CNFFormulaBuilder { struct36 explicit CNFFormulaBuilder(CNFFormula &CNF) : Formula(CNF) {} in CNFFormulaBuilder() argument46 void addClause(ArrayRef<Literal> Literals) { in addClause()89 bool isKnownContradictory() { return Formula.knownContradictory(); } in isKnownContradictory()92 CNFFormula &Formula;93 llvm::DenseSet<Variable> trueVars;94 llvm::DenseSet<Variable> falseVars;