AdaptedTester Class Reference

#include <testers.h>

Inheritance diagram for AdaptedTester:

Public Member Functions
	AdaptedTester (Tester *itester)
virtual	~AdaptedTester ()
virtual Tester *	substitute (const Node::Assignment &assign)
Protected Attributes
Tester *	tester

---

Constructor & Destructor Documentation

AdaptedTester::AdaptedTester (  Tester *  itester  )  [inline]

Definition at line 57 of file testers.h. References tester.

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

Definition at line 59 of file testers.h. References tester.

---

Member Function Documentation

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

Definition at line 62 of file testers.h. References tester.

---

Field Documentation

Tester* AdaptedTester::tester [protected]

Definition at line 55 of file testers.h. Referenced by AdaptedTester(), NotTester::copy(), ForallTester::copy(), ExistsTester::copy(), substitute(), NotTester::test(), ForallTester::test(), ExistsTester::test(), and ~AdaptedTester().

---

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

• testers.h

---