110   using ValueConstraintPtr = std::shared_ptr<ValueConstraint>;  typedef in __anon09a2c6cc0111::StdLibraryFunctionsChecker
125     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()
1009     for (const ValueConstraintPtr &Constraint : Case.getConstraints()) {  in checkPostCall()