Searched refs:ValueConstraintPtr (Results 1 – 1 of 1) sorted by relevance
135 using ValueConstraintPtr = std::shared_ptr<ValueConstraint>; typedef in __anon892b0c920111::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()814 for (const ValueConstraintPtr &Constraint : ArgConstraints) in validateByConstraints()1322 ValueConstraintPtr NegatedConstraint = Constraint->negate(); in checkPreCall()[all …]