222 struct ConstraintTy {  struct
230   ConstraintTy() = default;
232   ConstraintTy(SmallVector<int64_t, 8> Coefficients, bool IsSigned, bool IsEq,  in ConstraintTy()  argument
280       ConstraintTy VarPos(SmallVector<int64_t, 8>(Value2Index.size() + 1, 0),  in ConstraintInfo()
315   ConstraintTy getConstraint(CmpInst::Predicate Pred, Value *Op0, Value *Op1,
325   ConstraintTy getConstraintForSolving(CmpInst::Predicate Pred, Value *Op0,
601 ConstraintTy
678   ConstraintTy Res(  in getConstraint()
733 ConstraintTy ConstraintInfo::getConstraintForSolving(CmpInst::Predicate Pred,  in getConstraintForSolving()
743     return ConstraintTy(SmallVector<int64_t, 8>(Value2Index.size(), 0), false,  in getConstraintForSolving()
756   ConstraintTy R = getConstraint(Pred, Op0, Op1, NewVariables);  in getConstraintForSolving()
762 bool ConstraintTy::isValid(const ConstraintInfo &Info) const {  in isValid()
770 ConstraintTy::isImpliedBy(const ConstraintSystem &CS) const {  in isImpliedBy()
1516         ConstraintTy VarPos(SmallVector<int64_t, 8>(Value2Index.size() + 1, 0),  in addFact()