Lines Matching defs:BooleanFormula
81 struct BooleanFormula { struct
84 const Variable LargestVar;
94 std::vector<Literal> Clauses;
106 std::vector<size_t> ClauseStarts;
113 std::vector<ClauseID> WatchedHead;
121 std::vector<ClauseID> NextWatched;
125 llvm::DenseMap<Variable, AtomicBoolValue *> Atomics;
127 explicit BooleanFormula(Variable LargestVar, in BooleanFormula() function
145 void addClause(Literal L1, Literal L2 = NullLit, Literal L3 = NullLit) { in addClause()
167 size_t clauseSize(ClauseID C) const { in clauseSize()
173 llvm::ArrayRef<Literal> clauseLiterals(ClauseID C) const { in clauseLiterals()