Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition Class Reference

#include <AutFileDescriptor.hh>

Public Member Functions
	Transition (State source, Event event, State target)
State	setSource (State source)
State	source () const
const Event &	setEvent (const Event &event)
const Event &	event () const
State	setTarget (State target)
State	target () const
bool	operator== (const Transition &transition) const
bool	operator< (const Transition &transition) const
	Transition ()=default
	Transition (Transition const &other)=default
Transition &	operator= (Transition const &other)=default
	Transition (Transition &&other)=default
Transition &	operator= (Transition &&other)=default
	~Transition ()=default

Private Attributes
State	_source
Event	_event
State	_target

Detailed Description

template<typename _Event>
class Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition

Internal class of an AutFileDescriptor Represent the information of a Transition in a '.aut' file

Definition at line 162 of file AutFileDescriptor.hh.

Constructor & Destructor Documentation

Transition() [1/4]

template<typename _Event>

Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::Transition ( State  source, Event  event, State  target  )

inline

Parametrized constructor

Parameters

source
event
target

Definition at line 177 of file AutFileDescriptor.hh.

Transition() [2/4]

template<typename _Event>

Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::Transition ( )

default

Default constructor

Transition() [3/4]

template<typename _Event>

Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::Transition ( Transition const &  other )

default

Copy constructor (default)

Parameters

other

Transition() [4/4]

template<typename _Event>

Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::Transition ( Transition &&  other )

default

Move constructor (default)

Parameters

other

~Transition()

template<typename _Event>

Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::~Transition ( )

default

Destructor

Member Function Documentation

event()

template<typename _Event>

const Event& Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::event ( ) const

inline

Returns

the event

Definition at line 219 of file AutFileDescriptor.hh.

Referenced by Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::operator<(), and Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::operator==().

operator<()

template<typename _Event>

bool Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::operator< ( const Transition &  transition ) const

inline

Transition order

Parameters

transition

Returns

true if the current transition is smaller than the other one The order is defined as follows: first on the source state number second on the target state, third on the lexicographical order of the event

Definition at line 263 of file AutFileDescriptor.hh.

References Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::event(), Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::source(), and Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::target().

operator=() [1/2]

template<typename _Event>

Transition& Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::operator= ( Transition const &  other )

default

Assignement (default)

Parameters

other

Returns

the current Transition

operator=() [2/2]

template<typename _Event>

Transition& Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::operator= ( Transition &&  other )

default

Move assignement (default)

Parameters

other

Returns

the current Transition

operator==()

template<typename _Event>

bool Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::operator== ( const Transition &  transition ) const

inline

Equality operator

Parameters

transition

Returns

true if both Transition are equal (by value)

Definition at line 250 of file AutFileDescriptor.hh.

References Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::event(), Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::source(), and Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::target().

setEvent()

template<typename _Event>

const Event& Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::setEvent ( const Event &  event )

inline

Parameters

event

an Event

Returns

the event

Definition at line 209 of file AutFileDescriptor.hh.

setSource()

template<typename _Event>

State Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::setSource ( State  source )

inline

Parameters

source

a State

Returns

the source

Definition at line 188 of file AutFileDescriptor.hh.

setTarget()

template<typename _Event>

State Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::setTarget ( State  target )

inline

Parameters

target

a State

Returns

the target state

Definition at line 230 of file AutFileDescriptor.hh.

source()

template<typename _Event>

State Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::source ( ) const

inline

Returns

the source

Definition at line 198 of file AutFileDescriptor.hh.

Referenced by Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::operator<(), and Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::operator==().

target()

template<typename _Event>

State Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::target ( ) const

inline

Returns

the target state

Definition at line 240 of file AutFileDescriptor.hh.

Referenced by Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::operator<(), and Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::operator==().

Member Data Documentation

_event

template<typename _Event>

Event Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::_event

private

Definition at line 166 of file AutFileDescriptor.hh.

_source

template<typename _Event>

State Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::_source

private

Definition at line 165 of file AutFileDescriptor.hh.

_target

template<typename _Event>

State Diades::Automata::Experimental::AutFileDescriptor< _Event >::Transition::_target

private

Definition at line 167 of file AutFileDescriptor.hh.

---

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

• /home/yannick/laas/redmine/tools/diades/include/diades/automata/experimental/AutFileDescriptor.hh