BFRemoveGuardFromSucc.hh File Reference

#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
namespace	TTAMachine
namespace	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.

Author

Heikki Kultala 2014-2020(heikki.kultala-no.spam-tuni.fi)

Note

rating: red

Definition in file BFRemoveGuardFromSucc.hh.