MachineCheckSuite.hh File Reference

#include <vector>
#include "Exception.hh"

Include dependency graph for MachineCheckSuite.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	MachineCheckSuite

Namespaces
	TTAMachine

Detailed Description

Declaration of MachineCheckSuite class.

Author

Veli-Pekka Jääskeläinen 2007 (vjaaskel-no.spam-cs.tut.fi)

Note

rating: red

Definition in file MachineCheckSuite.hh.