Searched defs:addConstraint (Results 1 – 2 of 2) sorted by relevance
| /freebsd-src/contrib/llvm-project/llvm/include/llvm/CodeGen/ | ||
| H A D | PBQPRAConstraint.h | 57 void addConstraint(std::unique_ptr<PBQPRAConstraint> C) { in addConstraint() function |
| /freebsd-src/contrib/llvm-project/llvm/lib/Support/ | ||
| H A D | Z3Solver.cpp | 288 void addConstraint(const SMTExprRef &Exp) const override { addConstraint() function in __anonab5195f60111::Z3Solver |