Lines Matching refs:ConstraintSystem
254 std::optional<bool> isImpliedBy(const ConstraintSystem &CS) const;
269 ConstraintSystem UnsignedCS;
270 ConstraintSystem SignedCS;
294 ConstraintSystem &getCS(bool Signed) { in getCS()
297 const ConstraintSystem &getCS(bool Signed) const { in getCS()
770 ConstraintTy::isImpliedBy(const ConstraintSystem &CS) const { in isImpliedBy()
774 auto NegatedOrEqual = ConstraintSystem::negateOrEqual(Coefficients); in isImpliedBy()
784 auto Negated = ConstraintSystem::negate(Coefficients); in isImpliedBy()
787 auto StrictLessThan = ConstraintSystem::toStrictLessThan(Coefficients); in isImpliedBy()
804 auto Negated = ConstraintSystem::negate(Coefficients); in isImpliedBy()
881 ConstraintSystem CS(Value2Index); in dumpConstraint()