| IMarkable() | wali::IMarkable | |
| IMarkable(const IMarkable &m ATTR_UNUSED) | wali::IMarkable | |
| mark() const =0 | wali::IMarkable | [pure virtual] |
| marked() const =0 | wali::IMarkable | [pure virtual] |
| operator=(const IMarkable &m ATTR_UNUSED) | wali::IMarkable | |
| unmark() const =0 | wali::IMarkable | [pure virtual] |
| ~IMarkable() | wali::IMarkable | [virtual] |
1.7.1