FDR
4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
|
A single transition of a Machine. More...
#include <machine.h>
Public Member Functions | |
Transition () | |
Creates a new, empty transition. | |
Transition (CompiledEvent event, const std::shared_ptr< Node > &destination) | |
Creates a transition with the given label and destination. | |
const std::shared_ptr< Node > & | destination () const |
The destination of the arc. | |
CompiledEvent | event () const |
The label of the arc this transition represents. | |
A single transition of a Machine.