RegisterQuantityCheck.cc File Reference

#include "RegisterFile.hh"
#include "Machine.hh"
#include "Guard.hh"
#include "AssocTools.hh"
#include "Conversion.hh"
#include "RegisterQuantityCheck.hh"
#include "FullyConnectedCheck.hh"
#include "MachineCheckResults.hh"

Include dependency graph for RegisterQuantityCheck.cc:

Go to the source code of this file.

Detailed Description

Implementation of RegisterQuantityCheck class.

Checks that given machine has enough registers.

Author

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

Esa Määttä 2008 (esa.maatta-no.spam-tut.fi)

Note

rating: red

Definition in file RegisterQuantityCheck.cc.