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()