#include <testers.h>
Inheritance diagram for ForallTester:

Public Member Functions | |
| ForallTester (Tester *itester) | |
| virtual bool | test (const Node *node, const NameSpace &nameSpace) const |
| virtual Tester * | copy () const |
|
|
Definition at line 83 of file testers.h. Referenced by copy(). |
|
|
Implements Node::Tester. Definition at line 89 of file testers.h. References ForallTester(), and AdaptedTester::tester. |
|
||||||||||||
|
Implements Node::Tester. Definition at line 85 of file testers.h. References Node::forall(), and AdaptedTester::tester. |
1.3.3