90 std::shared_ptr<Move>
copy()
const;
void setSource(Terminal *src)
bool isConditional() const
bool isFunctionCall() const
MoveGuard * guard_
The boolean expression that predicates the move.
TTAMachine::Socket & destinationSocket() const
MoveGuard & guard() const
Move & operator=(const Move &)
Assignment not allowed.
TTAMachine::Socket & sourceSocket() const
bool isControlFlowMove() const
bool hasSourceLineNumber() const
bool isUnconditional() const
const TTAMachine::Bus * bus_
The bus where the transport is carried.
std::string toString() const
Instruction & parent() const
Terminal & source() const
std::shared_ptr< Move > copy() const
int sourceLineNumber() const
bool hasSourceFileName() const
Terminal * dst_
The destination of the move.
Move(const Move &)
Copying not allowed.
bool isInInstruction() const
void setGuard(MoveGuard *guard)
void setParent(Instruction &ins)
bool isTriggering() const
Terminal * src_
The source of the move.
void setBus(const TTAMachine::Bus &bus)
Instruction * parent_
Parent instruction of the move.
Terminal & destination() const
void setDestination(Terminal *dst)
std::string sourceFileName() const
const TTAMachine::Bus & bus() const