const TTAMachine::Machine & targetMachine() const
bool canBeSpeculated(const Operation &op)
bool operator()() override
static bool canTransportMove(const MoveNode &moveNode, const TTAMachine::Machine &machine, bool ignoreGuard=false)
TTAProgram::Move & move()
bool runPostChild(Reversible *preChild)
bool isUnconditional() const