Member predicate PointerWrapper::pointsToConst
Holds if the type of the data that is pointed to by this pointer wrapper is const.
predicate pointsToConst()Holds if the type of the data that is pointed to by this pointer wrapper is const.
predicate pointsToConst()