Searched refs:BooleanFormula (Results 1 – 1 of 1) sorted by relevance
81 struct BooleanFormula { struct127 explicit BooleanFormula(Variable LargestVar, in BooleanFormula() argument180 BooleanFormula buildBooleanFormula(const llvm::DenseSet<BoolValue *> &Vals) { in buildBooleanFormula()252 BooleanFormula Formula(NextVar - 1, std::move(Atomics)); in buildBooleanFormula()384 BooleanFormula Formula;