CVC3::NotifyList Class Reference

#include <notifylist.h>

Collaboration diagram for CVC3::NotifyList:

Collaboration graph
[legend]

List of all members.

Public Member Functions

Private Attributes


Detailed Description

Definition at line 31 of file notifylist.h.


Constructor & Destructor Documentation

CVC3::NotifyList::NotifyList ( Context c  )  [inline]

Definition at line 36 of file notifylist.h.

References d_elist, and IF_DEBUG.


Member Function Documentation

unsigned CVC3::NotifyList::size (  )  const [inline]

Definition at line 39 of file notifylist.h.

References d_tlist, and CVC3::CDList< T >::size().

Referenced by CVC3::operator<<(), and CVC3::TheoryCore::processNotify().

void CVC3::NotifyList::add ( Theory t,
const Expr e 
) [inline]

Theory* CVC3::NotifyList::getTheory ( int  i  )  const [inline]

Definition at line 41 of file notifylist.h.

References d_tlist.

Referenced by CVC3::operator<<(), and CVC3::TheoryCore::processNotify().

Expr CVC3::NotifyList::getExpr ( int  i  )  const [inline]

Definition at line 42 of file notifylist.h.

References d_elist.

Referenced by CVC3::operator<<(), and CVC3::TheoryCore::processNotify().


Member Data Documentation

Definition at line 32 of file notifylist.h.

Referenced by add(), getTheory(), and size().

Definition at line 33 of file notifylist.h.

Referenced by add(), getExpr(), and NotifyList().


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

Generated on Thu Oct 15 22:19:41 2009 for CVC3 by  doxygen 1.5.8