Searched defs:BooleanFormula (Results 1 – 1 of 1) sorted by relevance
81 struct BooleanFormula { struct84 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() argument145 void addClause(Literal L1, Literal L2 = NullLit, Literal L3 = NullLit) { in addClause()167 size_t clauseSize(ClauseID C) const { in clauseSize()[all …]