Predicate setter
Holds if f is a setter member function for v, in class c.
See StructLikeClass.getASetter.
Import path
import cpppredicate setter(MemberVariable v, MemberFunction f, Class c)Holds if f is a setter member function for v, in class c.
See StructLikeClass.getASetter.
import cpppredicate setter(MemberVariable v, MemberFunction f, Class c)