Lines Matching refs:BoolValue

180 BooleanFormula buildBooleanFormula(const llvm::DenseSet<BoolValue *> &Vals) {  in buildBooleanFormula()
188   llvm::DenseMap<BoolValue *, Variable> SubValsToVar;  in buildBooleanFormula()
193     std::queue<BoolValue *> UnprocessedSubVals;  in buildBooleanFormula()
194     for (BoolValue *Val : Vals)  in buildBooleanFormula()
198       BoolValue *Val = UnprocessedSubVals.front();  in buildBooleanFormula()
251   auto GetVar = [&SubValsToVar](const BoolValue *Val) {  in buildBooleanFormula()
262   for (BoolValue *Val : Vals)  in buildBooleanFormula()
267   std::queue<BoolValue *> UnprocessedSubVals;  in buildBooleanFormula()
268   for (BoolValue *Val : Vals)  in buildBooleanFormula()
271     const BoolValue *Val = UnprocessedSubVals.front();  in buildBooleanFormula()
441   explicit WatchedLiteralsSolverImpl(const llvm::DenseSet<BoolValue *> &Vals)  in WatchedLiteralsSolverImpl()
715 Solver::Result WatchedLiteralsSolver::solve(llvm::DenseSet<BoolValue *> Vals) {  in solve()