Searched refs:buildBooleanFormula (Results 1 – 1 of 1) sorted by relevance
180 BooleanFormula buildBooleanFormula(const llvm::DenseSet<BoolValue *> &Vals) { in buildBooleanFormula() function437 : Formula(buildBooleanFormula(Vals)), LevelVars(Formula.LargestVar + 1), in WatchedLiteralsSolverImpl()