Searched refs:ValueConstraintPtr (Results 1 – 1 of 1) sorted by relevance
110 using ValueConstraintPtr = std::shared_ptr<ValueConstraint>; typedef in __anon09a2c6cc0111::StdLibraryFunctionsChecker125 virtual ValueConstraintPtr negate() const { in negate()216 ValueConstraintPtr negate() const override { in negate()277 ValueConstraintPtr negate() const override { in negate()377 ValueConstraintPtr negate() const override { in negate()392 using ConstraintSet = std::vector<ValueConstraintPtr>;650 Summary &ArgConstraint(ValueConstraintPtr VC) { in ArgConstraint()681 for (const ValueConstraintPtr &Constraint : Case.getConstraints()) in validateByConstraints()684 for (const ValueConstraintPtr &Constraint : ArgConstraints) in validateByConstraints()973 for (const ValueConstraintPtr &Constraint : Summary.getArgConstraints()) { in checkPreCall()[all …]