faudes::Transition Class Reference
[State, Event and Transition Set]

Triple (X1,Ev,X2) to represent current state, event and next state. More...

#include <cfl_transset.h>

List of all members.

Public Member Functions

 Transition (void)
 Construct invalid Transition.
 Transition (Idx x1, Idx ev, Idx x2)
 Construct from values.
bool operator< (const Transition &othertrans) const
 Default order for sorting container of Transition (lexographic).
bool operator== (const Transition &othertrans) const
 Equality operator.
bool operator!= (const Transition &othertrans) const
 Inequality operator.
bool Valid (void) const
 Test validity (all indices !=0).
std::string Str (void) const
 Pretty print to string.

Public Attributes

Idx X1
 Current state.
Idx Ev
 Event.
Idx X2
 Next state.

Detailed Description

Triple (X1,Ev,X2) to represent current state, event and next state.

This class provides the triple in struct like fashion where the components are of type faudes::Idx. While default order is lexographic, the transition container TTransSet allows for alternative sorting. Since technically a Transition is just a triple of indices, it is only the context of a generator that actually makes it a transition (eg by providing mandatory symbolic event names).

Definition at line 55 of file cfl_transset.h.


Constructor & Destructor Documentation

faudes::Transition::Transition ( void   )  [inline]

Construct invalid Transition.

Definition at line 60 of file cfl_transset.h.

faudes::Transition::Transition ( Idx  x1,
Idx  ev,
Idx  x2 
) [inline]

Construct from values.

Parameters:
x1 Index of current state
ev Index of Event
x2 Index of next state

Definition at line 71 of file cfl_transset.h.


Member Function Documentation

bool faudes::Transition::operator!= ( const Transition othertrans  )  const [inline]

Inequality operator.

Definition at line 90 of file cfl_transset.h.

bool faudes::Transition::operator< ( const Transition othertrans  )  const [inline]

Default order for sorting container of Transition (lexographic).

Definition at line 75 of file cfl_transset.h.

bool faudes::Transition::operator== ( const Transition othertrans  )  const [inline]

Equality operator.

Definition at line 85 of file cfl_transset.h.

std::string faudes::Transition::Str ( void   )  const [inline]

Pretty print to string.

Definition at line 109 of file cfl_transset.h.

bool faudes::Transition::Valid ( void   )  const [inline]

Test validity (all indices !=0).

Definition at line 95 of file cfl_transset.h.


Member Data Documentation

Event.

Definition at line 103 of file cfl_transset.h.

Current state.

Definition at line 97 of file cfl_transset.h.

Next state.

Definition at line 106 of file cfl_transset.h.


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

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen