21 #ifndef _cvc3__include__notifylist_h_
22 #define _cvc3__include__notifylist_h_
37 IF_DEBUG(d_elist.setName(
"CDList[NotifyList]");)
39 unsigned size()
const {
return d_tlist.
size(); }
Data structure of expressions in CVC3.
Expr getExpr(int i) const
Theory * getTheory(int i) const
T & push_back(const T &data, int scope=-1)
void add(Theory *t, const Expr &e)
Definition of the API to expression package. See class Expr for details.
CDList< Theory * > d_tlist