CVCL::TheoryCore::CoreNotifyObj Class Reference

Inheritance diagram for CVCL::TheoryCore::CoreNotifyObj:

[legend]Collaboration diagram for CVCL::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 166 of file theory_core.h.

---

Constructor & Destructor Documentation

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

Definition at line 169 of file theory_core.h.

---

Member Function Documentation

void CVCL::TheoryCore::CoreNotifyObj::notify (  void   )  [inline, virtual]

Reimplemented from CVCL::ContextNotifyObj. Definition at line 171 of file theory_core.h. References d_theoryCore, CVCL::Theory::getEM(), and CVCL::ExprManager::invalidateSimpCache().

---

Member Data Documentation

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

Definition at line 167 of file theory_core.h. Referenced by notify().

---

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

• theory_core.h

---