CVC3
2.4.1
|
Public Member Functions | |
CoreNotifyObj (TheoryCore *tc, Context *context) | |
void | notify () |
![]() | |
ContextNotifyObj (Context *context) | |
virtual | ~ContextNotifyObj () |
virtual void | notifyPre (void) |
virtual unsigned long | getMemory (int verbosity) |
Private Attributes | |
TheoryCore * | d_theoryCore |
Additional Inherited Members | |
![]() | |
Context * | d_context |
Definition at line 176 of file theory_core.h.
|
inline |
Definition at line 179 of file theory_core.h.
|
inlinevirtual |
Reimplemented from CVC3::ContextNotifyObj.
Definition at line 181 of file theory_core.h.
References CVC3::Theory::getEM(), and CVC3::ExprManager::invalidateSimpCache().
|
private |
Definition at line 177 of file theory_core.h.