CVC3::NotifyList Class Reference

#include <notifylist.h>

Collaboration diagram for CVC3::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 31 of file notifylist.h.

---

Constructor & Destructor Documentation

CVC3::NotifyList::NotifyList

(

Context *

c

)

[inline]

Definition at line 36 of file notifylist.h.

References d_elist, and IF_DEBUG.

---

Member Function Documentation

unsigned CVC3::NotifyList::size

(

)

const [inline]

Definition at line 39 of file notifylist.h.

References d_tlist, and CVC3::CDList< T >::size().

Referenced by CVC3::operator<<(), and CVC3::TheoryCore::processNotify().

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

Definition at line 40 of file notifylist.h.

References d_elist, d_tlist, and CVC3::CDList< T >::push_back().

Referenced by CVC3::TheoryCore::addNotifyEq(), and CVC3::Expr::addToNotify().

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().

---

Member Data Documentation

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

Definition at line 32 of file notifylist.h.

Referenced by add(), getTheory(), and size().

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

Definition at line 33 of file notifylist.h.

Referenced by add(), getExpr(), and NotifyList().

---

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

• notifylist.h