Searched refs:ValueConstraintPtr (Results 1 – 1 of 1) sorted by relevance
135 using ValueConstraintPtr = std::shared_ptr<ValueConstraint>; typedef in __anon4d759d9c0111::StdLibraryFunctionsChecker220 virtual ValueConstraintPtr negate() const { in negate()299 ValueConstraintPtr negate() const override { in negate()391 ValueConstraintPtr negate() const override { in negate()438 ValueConstraintPtr negate() const override { in negate()505 ValueConstraintPtr negate() const override { in negate()521 using ConstraintSet = std::vector<ValueConstraintPtr>;780 Summary &ArgConstraint(ValueConstraintPtr VC) { in ArgConstraint()811 for (const ValueConstraintPtr &Constraint : Case.getConstraints()) in validateByConstraints()814 for (const ValueConstraintPtr &Constraint : ArgConstraints) in validateByConstraints()[all …]