FDR  4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
Public Member Functions | List of all members
FDR::LTS::Transition Class Reference

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.
 

Detailed Description

A single transition of a Machine.


The documentation for this class was generated from the following file: