Searched defs:addConstraint (Results 1 – 6 of 6) sorted by relevance
57 void addConstraint(std::unique_ptr<PBQPRAConstraint> C) { in addConstraint() function
58 void addConstraint(std::unique_ptr<PBQPRAConstraint> C) { in addConstraint() function
285 void addConstraint(const SMTExprRef &Exp) const override { in addConstraint() function in __anon2fdbe40f0111::Z3Solver
286 void addConstraint(const SMTExprRef &Exp) const override { in addConstraint() function in __anon90b5489b0111::Z3Solver
2068 RegAlloc::InsertConstraintsPass::addConstraint(Instruction *i, int s, int n) in addConstraint() function in nv50_ir::RegAlloc::InsertConstraintsPass