Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter > Class Template Reference

#include <TransitionInserter.hh>

Public Types
using	StateInserter = _StateInserter
using	EventInserter = _EventInserter
using	Fsm = typename StateInserter::Fsm
using	Transition = typename Fsm::Transition
using	State = typename Fsm::State

Public Member Functions
	TransitionInserter ()=default
	TransitionInserter (TransitionInserter const &other)=default
TransitionInserter &	operator= (TransitionInserter const &other)=default
	TransitionInserter (TransitionInserter &&other)=default
TransitionInserter &	operator= (TransitionInserter &&other)=default
	~TransitionInserter ()=default
	TransitionInserter (StateInserter &sInserter, EventInserter &eInserter)
const Fsm &	source () const
Fsm &	target ()
Transition	insertTransition (Transition t)
State	insertState (State state)

Private Attributes
Diades::Utils::Ptr< StateInserter >::P	_sInserter
Diades::Utils::Ptr< EventInserter >::P	_eInserter

Detailed Description

template<typename _StateInserter, typename _EventInserter>
class Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >

A TransitionInserter is in charge of inserting transitions into a target fsm from a source fsm. The source and target fsms are the ones defined in the StateInserter. The event associated to transitions are managed by the corresponding EventInserter. Please ensure that the source/target fsms of the stateinserter are the ones of the eventinserter.

Definition at line 28 of file TransitionInserter.hh.

Member Typedef Documentation

EventInserter

template<typename _StateInserter , typename _EventInserter >

using Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::EventInserter = _EventInserter

Definition at line 32 of file TransitionInserter.hh.

Fsm

template<typename _StateInserter , typename _EventInserter >

using Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::Fsm = typename StateInserter::Fsm

Definition at line 33 of file TransitionInserter.hh.

State

template<typename _StateInserter , typename _EventInserter >

using Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::State = typename Fsm::State

Definition at line 35 of file TransitionInserter.hh.

StateInserter

template<typename _StateInserter , typename _EventInserter >

using Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::StateInserter = _StateInserter

Definition at line 31 of file TransitionInserter.hh.

Transition

template<typename _StateInserter , typename _EventInserter >

using Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::Transition = typename Fsm::Transition

Definition at line 34 of file TransitionInserter.hh.

Constructor & Destructor Documentation

TransitionInserter() [1/4]

template<typename _StateInserter , typename _EventInserter >

Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::TransitionInserter ( )

default

Default constructor

TransitionInserter() [2/4]

template<typename _StateInserter , typename _EventInserter >

Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::TransitionInserter ( TransitionInserter< _StateInserter, _EventInserter > const &  other )

default

Copy constructor (default)

Parameters

other

TransitionInserter() [3/4]

template<typename _StateInserter , typename _EventInserter >

Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::TransitionInserter ( TransitionInserter< _StateInserter, _EventInserter > &&  other )

default

Move constructor (default)

Parameters

other

~TransitionInserter()

template<typename _StateInserter , typename _EventInserter >

Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::~TransitionInserter ( )

default

Destructor

TransitionInserter() [4/4]

template<typename _StateInserter , typename _EventInserter >

Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::TransitionInserter ( StateInserter &  sInserter, EventInserter &  eInserter  )

inline

build a TransitionInserter based on a StateInserter and an EventInserter

Parameters

sInserter	a StateInserter that inserts State to target() based on State from source()
eInserter	an EventInserter that inserts Event to target() based on Event from source()

Definition at line 92 of file TransitionInserter.hh.

Member Function Documentation

insertState()

template<typename _StateInserter , typename _EventInserter >

State Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::insertState ( State  state )

inline

Parameters

state

a State from the source fsm

Returns

the state resulting from the insertion of 'state' in the target fsm call insertState of the StateInserter

Definition at line 139 of file TransitionInserter.hh.

Referenced by Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::insertTransition().

insertTransition()

template<typename _StateInserter , typename _EventInserter >

Transition Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::insertTransition ( Transition  t )

inline

Parameters

t	a Transition from the source fsm

Returns

the transition resulting from the insertion of t in the target fsm.

Definition at line 125 of file TransitionInserter.hh.

References Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::insertState(), Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::source(), and Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::target().

operator=() [1/2]

template<typename _StateInserter , typename _EventInserter >

TransitionInserter& Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::operator= ( TransitionInserter< _StateInserter, _EventInserter > const &  other )

default

Assignement (default)

Parameters

other

Returns

the current StateInserter

operator=() [2/2]

template<typename _StateInserter , typename _EventInserter >

TransitionInserter& Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::operator= ( TransitionInserter< _StateInserter, _EventInserter > &&  other )

default

Move assignement (default)

Parameters

other

Returns

the current Transition

source()

template<typename _StateInserter , typename _EventInserter >

_eInserter the EventInserter in charge of inserting events based on Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::source ( ) const

inline

Returns

the source fsm, that is the fsm where transition comes from. (it is the source fsm of the associated state inserter)

Definition at line 103 of file TransitionInserter.hh.

Referenced by Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::insertTransition().

target()

template<typename _StateInserter , typename _EventInserter >

Fsm& Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::target ( )

inline

Returns

the target fsm, that is the fsm where transition are inserted. (it is the target fsm of the associated state inserter)

Definition at line 114 of file TransitionInserter.hh.

Referenced by Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::insertTransition().

Member Data Documentation

_eInserter

template<typename _StateInserter , typename _EventInserter >

Diades::Utils::Ptr<EventInserter>::P Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::_eInserter

private

Definition at line 45 of file TransitionInserter.hh.

_sInserter

template<typename _StateInserter , typename _EventInserter >

Diades::Utils::Ptr<StateInserter>::P Diades::Automata::Experimental::TransitionInserter< _StateInserter, _EventInserter >::_sInserter

private

Definition at line 41 of file TransitionInserter.hh.

---

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

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