CVC3
2.4.1
|
#include <notifylist.h>
CVC3::NotifyList::NotifyList | ( | Context * | c | ) | [inline] |
Definition at line 36 of file notifylist.h.
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().
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().
CDList<Theory*> CVC3::NotifyList::d_tlist [private] |
Definition at line 32 of file notifylist.h.
Referenced by size(), add(), and getTheory().
CDList<Expr> CVC3::NotifyList::d_elist [private] |
Definition at line 33 of file notifylist.h.
Referenced by NotifyList(), add(), and getExpr().