21 #ifndef _cvc3__include__notifylist_h_
22 #define _cvc3__include__notifylist_h_
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