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 51 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 56 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 67 of file transset.h.


Member Function Documentation

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

Inequality operator.

Definition at line 86 of file transset.h.

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

Default order for sorting container of Transition (lexographic).

Definition at line 71 of file transset.h.

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

Equality operator.

Definition at line 81 of file transset.h.

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

Pretty print to string.

Definition at line 105 of file transset.h.

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

Test validity (all indices !=0.

Definition at line 91 of file transset.h.


Member Data Documentation

Idx faudes::Transition::Ev
 

Event.

Definition at line 99 of file transset.h.

Idx faudes::Transition::X1
 

Current state.

Definition at line 93 of file transset.h.

Idx faudes::Transition::X2
 

Next state.

Definition at line 102 of file transset.h.


The documentation for this class was generated from the following file:
Generated on Fri May 9 11:26:48 2008 for libFAUDES 2.09b by  doxygen 1.4.4