Searched defs:addConstraint (Results 1 – 4 of 4) 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 __anonfa99afad0111::Z3Solver
2068 RegAlloc::InsertConstraintsPass::addConstraint(Instruction *i, int s, int n) in addConstraint() function in nv50_ir::RegAlloc::InsertConstraintsPass