faudes::Transition Class Reference

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 57 of file cfl_transset.h.

#include <cfl_transset.h>

Public Member Functions
	Transition (void)
	Transition (Idx x1, Idx ev, Idx x2)
bool	operator< (const Transition &othertrans) const
bool	operator== (const Transition &othertrans) const
bool	operator!= (const Transition &othertrans) const
bool	Valid (void) const
std::string	Str (void) const

Public Attributes
Idx	X1
Idx	Ev
Idx	X2

Constructor & Destructor Documentation

Transition() [1/2]

faudes::Transition::Transition ( void  )

inline

Construct invalid Transition

Definition at line 62 of file cfl_transset.h.

Transition() [2/2]

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 73 of file cfl_transset.h.

Member Function Documentation

operator!=()

bool faudes::Transition::operator!= ( const Transition &  othertrans ) const

inline

Inequality operator

Definition at line 92 of file cfl_transset.h.

operator<()

bool faudes::Transition::operator< ( const Transition &  othertrans ) const

inline

Default order for sorting container of Transition (lexographic)

Definition at line 77 of file cfl_transset.h.

operator==()

bool faudes::Transition::operator== ( const Transition &  othertrans ) const

inline

Equality operator

Definition at line 87 of file cfl_transset.h.

Str()

std::string faudes::Transition::Str ( void  ) const

inline

Pretty print to string

Definition at line 111 of file cfl_transset.h.

Valid()

bool faudes::Transition::Valid ( void  ) const

inline

Test validity (all indices !=0)

Definition at line 97 of file cfl_transset.h.

Member Data Documentation

Ev

Idx faudes::Transition::Ev

Event

Definition at line 105 of file cfl_transset.h.

X1

Idx faudes::Transition::X1

Current state

Definition at line 102 of file cfl_transset.h.

X2

Idx faudes::Transition::X2

Next state

Definition at line 108 of file cfl_transset.h.

---

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

• cfl_transset.h