http://www.w3.org/ns/prov#value | - For the purpose of this example, we will assume that the following algorithm is used: for each pointer p of type *X, assume that it may point to any object of type Y, such that (i) Y=X or Y is a class transitively derived from X, and (ii) if p is the this pointer of a virtual method C::m, no definitions of m that override C::m exist in class Y. Using this simple algorithm, it can be determined tha
|