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

Idx faudes::Transition::Ev

Event.

Definition at line 103 of file cfl_transset.h.

Idx faudes::Transition::X1

Current state.

Definition at line 97 of file cfl_transset.h.

Idx faudes::Transition::X2

Next state.

Definition at line 106 of file cfl_transset.h.

---

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

• cfl_transset.h