105   using ValueConstraintPtr = std::shared_ptr<ValueConstraint>;  typedef in __anon6255e2070111::StdLibraryFunctionsChecker
120     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()
848     for (const ValueConstraintPtr &Constraint : Case) {  in checkPostCall()