CVC3  2.4.1
Public Member Functions | Private Attributes | List of all members
CVC3::NotifyList Class Reference

#include <notifylist.h>

Public Member Functions

 NotifyList (Context *c)
unsigned size () const
void add (Theory *t, const Expr &e)
TheorygetTheory (int i) const
Expr getExpr (int i) const

Private Attributes

CDList< Theory * > d_tlist
CDList< Exprd_elist

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

Definition at line 40 of file notifylist.h.

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

Referenced by CVC3::TheoryCore::addNotifyEq().

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

CDList<Theory*> CVC3::NotifyList::d_tlist
private

Definition at line 32 of file notifylist.h.

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

CDList<Expr> CVC3::NotifyList::d_elist
private

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: