Searched refs:addConstraint (Results 1 – 6 of 6) sorted by relevance
63 void addConstraint(std::unique_ptr<PBQPRAConstraint> C) { in addConstraint() function
840 ConstraintsRoot->addConstraint(std::make_unique<SpillCosts>()); in runOnMachineFunction()841 ConstraintsRoot->addConstraint(std::make_unique<Interference>()); in runOnMachineFunction()843 ConstraintsRoot->addConstraint(std::make_unique<Coalescing>()); in runOnMachineFunction()844 ConstraintsRoot->addConstraint(Subtarget.getCustomPBQPConstraints()); in runOnMachineFunction()
151 Solver->addConstraint(NotExp); in REGISTER_TRAIT_WITH_PROGRAMSTATE()334 Solver->addConstraint(Constraint); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
87 RefutationSolver->addConstraint(SMTConstraints); in finalizeVisitor()
203 virtual void addConstraint(const SMTExprRef &Exp) const = 0;
300 void addConstraint(const SMTExprRef &Exp) const override { in addConstraint() function in __anona2cc94240111::Z3Solver