RegisterQuantityCheck.hh File Reference

#include "MachineCheck.hh"
#include "FullyConnectedCheck.hh"
#include <set>
#include <string>

Include dependency graph for RegisterQuantityCheck.hh:

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

Go to the source code of this file.

Classes
class	RegisterQuantityCheck

Namespaces
namespace	TTAMachine

Detailed Description

Declaration of RegisterQuantityCheck class.

Tests that given machine has enough registers.

Author

Heikki Kultala (hkultala-no.spam-cs.tut.fi)

Note

rating: red

Definition in file RegisterQuantityCheck.hh.