Searched refs:addConstraint (Results 1 – 6 of 6) sorted by relevance
57 void addConstraint(std::unique_ptr<PBQPRAConstraint> C) { in addConstraint() function
839 ConstraintsRoot->addConstraint(std::make_unique<SpillCosts>()); in runOnMachineFunction()840 ConstraintsRoot->addConstraint(std::make_unique<Interference>()); in runOnMachineFunction()842 ConstraintsRoot->addConstraint(std::make_unique<Coalescing>()); in runOnMachineFunction()843 ConstraintsRoot->addConstraint(Subtarget.getCustomPBQPConstraints()); in runOnMachineFunction()
146 Solver->addConstraint(NotExp); in REGISTER_TRAIT_WITH_PROGRAMSTATE()322 Solver->addConstraint(Constraint); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
181 virtual void addConstraint(const SMTExprRef &Exp) const = 0;
288 void addConstraint(const SMTExprRef &Exp) const override { in addConstraint() function in __anonae660b540111::Z3Solver
3274 RefutationSolver->addConstraint(SMTConstraints); in finalizeVisitor()