CVC3
Public Member Functions | Private Attributes

CVC3::TheoryCore::CoreNotifyObj Class Reference

Inherits CVC3::ContextNotifyObj.

Collaboration diagram for CVC3::TheoryCore::CoreNotifyObj:
Collaboration graph
[legend]

List of all members.

Public Member Functions

Private Attributes


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  ) [inline, virtual]

Member Data Documentation

Definition at line 177 of file theory_core.h.

Referenced by notify().


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