#include "BFRescheduleMove.hh"
Include dependency graph for BFRemoveGuardFromSucc.hh:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Classes | |
| class | BFRemoveGuardFromSucc |
Namespaces | |
| TTAMachine | |
| TTAProgram | |
Detailed Description
Declaration of BFRemoveGuardFromSucc class
Tries to remove a guard from a move which is a successor of a move being schedule, to allow the guard write move to be scheduled later.
The guard can be removed, if the move has no side effects.
- Note
- rating: red
Definition in file BFRemoveGuardFromSucc.hh.
