TesterSet Class Reference

#include <testers.h>

Inheritance diagram for TesterSet:

Public Member Functions
TesterSet *	insert (Tester *tester)
virtual	~TesterSet ()
virtual Tester *	substitute (const Node::Assignment &assign)
Protected Member Functions
TesterSet *	copyContent (TesterSet *newTesterSet) const
	TesterSet ()
	TesterSet (Tester *tester)

---

Constructor & Destructor Documentation

TesterSet::TesterSet (   )  [inline, protected]

Definition at line 217 of file testers.h.

TesterSet::TesterSet (  Tester *  tester  )  [inline, protected]

Definition at line 218 of file testers.h.

virtual TesterSet::~TesterSet (   )  [inline, virtual]

Definition at line 227 of file testers.h.

---

Member Function Documentation

TesterSet* TesterSet::copyContent (  TesterSet *  newTesterSet  )  const [inline, protected]

Definition at line 207 of file testers.h. References insert(). Referenced by TesterSetExists::copy(), and TesterSetForall::copy().

TesterSet* TesterSet::insert (  Tester *  tester  )  [inline]

Definition at line 222 of file testers.h. Referenced by copyContent(), TesterSetExists::TesterSetExists(), and TesterSetForall::TesterSetForall().

virtual Tester* TesterSet::substitute (  const Node::Assignment &  assign  )  [inline, virtual]

Definition at line 236 of file testers.h.

---

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

• testers.h

---