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

Public Attributes
Idx	X1
	Current state. More...
Idx	Ev
	Event. More...
Idx	X2
	Next state. More...

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