Searched refs:ValueConstraintPtr (Results 1 – 1 of 1) sorted by relevance
105 using ValueConstraintPtr = std::shared_ptr<ValueConstraint>; typedef in __anon6255e2070111::StdLibraryFunctionsChecker120 virtual ValueConstraintPtr negate() const { in negate()211 ValueConstraintPtr negate() const override { in negate()272 ValueConstraintPtr negate() const override { in negate()372 ValueConstraintPtr negate() const override { in negate()387 typedef std::vector<ValueConstraintPtr> ConstraintSet;503 Summary &ArgConstraint(ValueConstraintPtr VC) { in ArgConstraint()534 for (const ValueConstraintPtr &Constraint : Case) in validateByConstraints()537 for (const ValueConstraintPtr &Constraint : ArgConstraints) in validateByConstraints()813 for (const ValueConstraintPtr &Constraint : Summary.getArgConstraints()) { in checkPreCall()[all …]