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

#include <transset.h>

List of all members.


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 52 of file transset.h.

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.


Constructor & Destructor Documentation

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

Construct invalid Transition.

Definition at line 57 of file 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 68 of file transset.h.


Member Function Documentation

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

Inequality operator.

Definition at line 87 of file transset.h.

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

Default order for sorting container of Transition (lexographic).

Definition at line 72 of file transset.h.

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

Equality operator.

Definition at line 82 of file transset.h.

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

Pretty print to string.

Definition at line 106 of file transset.h.

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

Test validity (all indices !=0.

Definition at line 92 of file transset.h.


Member Data Documentation

Idx faudes::Transition::Ev
 

Event.

Definition at line 100 of file transset.h.

Idx faudes::Transition::X1
 

Current state.

Definition at line 94 of file transset.h.

Idx faudes::Transition::X2
 

Next state.

Definition at line 103 of file transset.h.


The documentation for this class was generated from the following file:
Generated on Mon Nov 10 08:13:17 2008 for libFAUDES 2.11v by  doxygen 1.4.4