CVC3::TheoryCore::CoreNotifyObj Class Reference

Inherits CVC3::ContextNotifyObj.

Collaboration diagram for CVC3::TheoryCore::CoreNotifyObj:

Public Member Functions
	CoreNotifyObj (TheoryCore *tc, Context *context)
void	notify ()
Public Member Functions inherited from CVC3::ContextNotifyObj
	ContextNotifyObj (Context *context)
virtual	~ContextNotifyObj ()
virtual void	notifyPre (void)
virtual unsigned long	getMemory (int verbosity)

Private Attributes
TheoryCore *	d_theoryCore

Additional Inherited Members
Protected Attributes inherited from CVC3::ContextNotifyObj
Context *	d_context

Detailed Description

Definition at line 176 of file theory_core.h.

Constructor & Destructor Documentation

CVC3::TheoryCore::CoreNotifyObj::CoreNotifyObj ( TheoryCore *  tc, Context *  context  )

inline

Definition at line 179 of file theory_core.h.

Member Function Documentation

void CVC3::TheoryCore::CoreNotifyObj::notify ( void  )

inlinevirtual

Reimplemented from CVC3::ContextNotifyObj.

Definition at line 181 of file theory_core.h.

References d_theoryCore, CVC3::Theory::getEM(), and CVC3::ExprManager::invalidateSimpCache().

Member Data Documentation

TheoryCore* CVC3::TheoryCore::CoreNotifyObj::d_theoryCore

private

Definition at line 177 of file theory_core.h.

Referenced by notify().

---

The documentation for this class was generated from the following file:

• theory_core.h