Lines Matching refs:BoolValue

183   llvm::DenseSet<BoolValue *> Constraints;  in TEST()
189   llvm::DenseSet<BoolValue *> Constraints;  in TEST()
207 Solver::Result CheckSAT(std::vector<BoolValue *> Constraints) {  in CheckSAT()
208   llvm::DenseSet<BoolValue *> ConstraintsSet(Constraints.begin(),  in CheckSAT()
216   std::vector<BoolValue *> Constraints({Ctx.atom()});  in TEST()
235   std::vector<BoolValue *> Constraints({B0, Ctx.neg(B0)});  in TEST()
255   std::vector<BoolValue *> Constraints({Ctx.atom(), Ctx.atom()});  in TEST()
279   std::vector<BoolValue *> Constraints({B0, Impl});  in TEST()
306   std::vector<BoolValue *> Constraints({B0, Iff});  in TEST()
338   std::vector<BoolValue *> Constraints({B0, XOR});  in TEST()
372   std::vector<BoolValue *> Constraints({Cond, B});  in TEST()
414   std::vector<BoolValue *> Constraints(  in TEST()