ContextNotifyObj(Context *context) | CVC3::ContextNotifyObj | [inline] |
d_context | CVC3::ContextNotifyObj | [protected] |
d_vm | CVC3::VariableManagerNotifyObj | [private] |
getMemory(int verbosity) | CVC3::ContextNotifyObj | [inline, virtual] |
notify(void) | CVC3::VariableManagerNotifyObj | [inline, virtual] |
notifyPre(void) | CVC3::VariableManagerNotifyObj | [inline, virtual] |
VariableManagerNotifyObj(VariableManager *vm, Context *cxt) | CVC3::VariableManagerNotifyObj | [inline] |
~ContextNotifyObj() | CVC3::ContextNotifyObj | [inline, virtual] |