FDR::LTS::Transition Class Reference

A single transition of a Machine. More...

#include <machine.h>

List of all members.

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.

Detailed Description

A single transition of a Machine.


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

Generated on 27 Oct 2017 for FDR by  doxygen 1.6.1