135   using ValueConstraintPtr = std::shared_ptr<ValueConstraint>;  typedef in __anon4d759d9c0111::StdLibraryFunctionsChecker
220     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()
1321   for (const ValueConstraintPtr &Constraint : Summary.getArgConstraints()) {  in checkPreCall()
1322     ValueConstraintPtr NegatedConstraint = Constraint->negate();  in checkPreCall()
1375     for (const ValueConstraintPtr &Constraint : Case.getConstraints()) {  in checkPostCall()