CVCL::NotifyList Class Reference

#include <notifylist.h>

Collaboration diagram for CVCL::NotifyList:

[legend]List of all members.

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

---

Detailed Description

Definition at line 39 of file notifylist.h.

---

Constructor & Destructor Documentation

CVCL::NotifyList::NotifyList (  Context *  c  )  [inline]

Definition at line 44 of file notifylist.h. References d_elist, and IF_DEBUG().

---

Member Function Documentation

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

Definition at line 47 of file notifylist.h. References d_tlist, and CVCL::CDList< T >::size(). Referenced by CVCL::operator<<(), and TheoryCore::processNotify().

void CVCL::NotifyList::add (  Theory *  t, const Expr &  e )  [inline]

Definition at line 48 of file notifylist.h. References d_elist, d_tlist, and CVCL::CDList< T >::push_back(). Referenced by CVCL::Expr::addToNotify().

Theory* CVCL::NotifyList::getTheory (  int  i  )  const [inline]

Definition at line 49 of file notifylist.h. References d_tlist. Referenced by CVCL::operator<<(), and TheoryCore::processNotify().

Expr CVCL::NotifyList::getExpr (  int  i  )  const [inline]

Definition at line 50 of file notifylist.h. References d_elist. Referenced by CVCL::operator<<(), and TheoryCore::processNotify().

---

Member Data Documentation

CDList<Theory*> CVCL::NotifyList::d_tlist [private]

Definition at line 40 of file notifylist.h. Referenced by add(), getTheory(), and size().

CDList<Expr> CVCL::NotifyList::d_elist [private]

Definition at line 41 of file notifylist.h. Referenced by add(), getExpr(), and NotifyList().

---

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

• notifylist.h

---