CVC3::TheoryCore::TheoryCore::CoreNotifyObj Class Reference

Inheritance diagram for CVC3::TheoryCore::TheoryCore::CoreNotifyObj:

[legend]

Collaboration diagram for CVC3::TheoryCore::TheoryCore::CoreNotifyObj:

[legend]

List of all members.

Public Member Functions

• CoreNotifyObj (TheoryCore *tc, Context *context)
• void notify ()

Private Attributes

• TheoryCore * d_theoryCore

---

Detailed Description

Definition at line 167 of file theory_core.h.

---

Constructor & Destructor Documentation

CVC3::TheoryCore::TheoryCore::CoreNotifyObj::CoreNotifyObj	(	TheoryCore *	tc,
		Context *	context
	)			[inline]

Definition at line 170 of file theory_core.h.

---

Member Function Documentation

void CVC3::TheoryCore::TheoryCore::CoreNotifyObj::notify

(

void

)

[inline, virtual]

Reimplemented from CVC3::ContextNotifyObj.

Definition at line 172 of file theory_core.h.

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

---

Member Data Documentation

TheoryCore* CVC3::TheoryCore::TheoryCore::CoreNotifyObj::d_theoryCore [private]

Definition at line 168 of file theory_core.h.

Referenced by CVC3::TheoryCore::TheoryCore::CoreNotifyObj::notify().

---

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

• theory_core.h