CVC3  2.4.1
Public Member Functions | Private Attributes
CVC3::NotifyList Class Reference

#include <notifylist.h>

List of all members.

Public Member Functions

Private Attributes


Constructor & Destructor Documentation

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

Definition at line 36 of file notifylist.h.

References IF_DEBUG, and d_elist.


Member Function Documentation

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

Definition at line 39 of file notifylist.h.

References d_tlist, and CVC3::CDList::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_tlist, CVC3::CDList::push_back(), and d_elist.

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

Definition at line 32 of file notifylist.h.

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

Definition at line 33 of file notifylist.h.

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


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