CVC3
2.4.1
|
#include <notifylist.h>
Public Member Functions | |
NotifyList (Context *c) | |
unsigned | size () const |
void | add (Theory *t, const Expr &e) |
Theory * | getTheory (int i) const |
Expr | getExpr (int i) const |
Private Attributes | |
CDList< Theory * > | d_tlist |
CDList< Expr > | d_elist |
Definition at line 31 of file notifylist.h.
|
inline |
Definition at line 36 of file notifylist.h.
|
inline |
Definition at line 39 of file notifylist.h.
References d_tlist.
Referenced by CVC3::operator<<(), and CVC3::TheoryCore::processNotify().
Definition at line 40 of file notifylist.h.
References d_elist, d_tlist, and CVC3::CDList< T >::push_back().
Referenced by CVC3::TheoryCore::addNotifyEq().
|
inline |
Definition at line 41 of file notifylist.h.
References d_tlist.
Referenced by CVC3::operator<<(), and CVC3::TheoryCore::processNotify().
|
inline |
Definition at line 42 of file notifylist.h.
References d_elist.
Referenced by CVC3::operator<<(), and CVC3::TheoryCore::processNotify().
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().