A single transition of a Machine. More...
#include <machine.h>
Public Member Functions | |
Transition (CompiledEvent event, const std::shared_ptr< Node > &destination) | |
Creates a transition with the given label and destination. | |
Transition () | |
Creates a new, empty transition. | |
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.