Diades::Automata::Experimental::StateCreation< _StateMachine > Class Template Reference

#include <StateCreation.hh>

Public Types
using	Exception = Diades::Utils::Exception< StateCreation >
using	Fsm = _StateMachine
using	StatePropertyId = typename Fsm::StatePropertyId
using	EventPropertyId = typename Fsm::EventPropertyId
using	State = typename Fsm::State

Public Member Functions
	StateCreation (const Fsm &source, Fsm &target)
const Fsm &	source () const
const Fsm &	target () const
Fsm &	target ()

Static Public Member Functions
static string	typeName ()

Protected Attributes
const Fsm &	_source
Fsm &	_target

Detailed Description

template<typename _StateMachine>
class Diades::Automata::Experimental::StateCreation< _StateMachine >

This class is a utility class for some operation on StateMachines It associates a source machine with a target machine.

This class is the parent of many specific StateCreation class. and has no use as a standalone class.

Definition at line 33 of file StateCreation.hh.

Member Typedef Documentation

EventPropertyId

template<typename _StateMachine>

using Diades::Automata::Experimental::StateCreation< _StateMachine >::EventPropertyId = typename Fsm::EventPropertyId

Definition at line 44 of file StateCreation.hh.

Exception

template<typename _StateMachine>

using Diades::Automata::Experimental::StateCreation< _StateMachine >::Exception = Diades::Utils::Exception<StateCreation>

Definition at line 40 of file StateCreation.hh.

Fsm

template<typename _StateMachine>

using Diades::Automata::Experimental::StateCreation< _StateMachine >::Fsm = _StateMachine

Definition at line 42 of file StateCreation.hh.

State

template<typename _StateMachine>

using Diades::Automata::Experimental::StateCreation< _StateMachine >::State = typename Fsm::State

Definition at line 46 of file StateCreation.hh.

StatePropertyId

template<typename _StateMachine>

using Diades::Automata::Experimental::StateCreation< _StateMachine >::StatePropertyId = typename Fsm::StatePropertyId

Definition at line 43 of file StateCreation.hh.

Constructor & Destructor Documentation

StateCreation()

template<typename _StateMachine>

Diades::Automata::Experimental::StateCreation< _StateMachine >::StateCreation ( const Fsm &  source, Fsm &  target  )

inline

Constructor Any state will be creation in the target machine based on some states from the source machine

Parameters

source	the source machine
target	the target machine

Definition at line 60 of file StateCreation.hh.

Member Function Documentation

source()

template<typename _StateMachine>

const Fsm& Diades::Automata::Experimental::StateCreation< _StateMachine >::source ( ) const

inline

Returns

the source machine associated with this StateCreation

Definition at line 70 of file StateCreation.hh.

target() [1/2]

template<typename _StateMachine>

const Fsm& Diades::Automata::Experimental::StateCreation< _StateMachine >::target ( ) const

inline

Returns

the target machine associated with this StateCreation (constant ref)

Definition at line 79 of file StateCreation.hh.

target() [2/2]

template<typename _StateMachine>

Fsm& Diades::Automata::Experimental::StateCreation< _StateMachine >::target ( )

inline

Returns

the target machine associated with this StateCreation

Definition at line 88 of file StateCreation.hh.

typeName()

template<typename _StateMachine>

static string Diades::Automata::Experimental::StateCreation< _StateMachine >::typeName ( )

inlinestatic

Definition at line 37 of file StateCreation.hh.

Member Data Documentation

_source

template<typename _StateMachine>

const Fsm& Diades::Automata::Experimental::StateCreation< _StateMachine >::_source

protected

Definition at line 49 of file StateCreation.hh.

Referenced by Diades::Automata::Experimental::StateCreation< StateMachine >::source().

_target

template<typename _StateMachine>

Fsm& Diades::Automata::Experimental::StateCreation< _StateMachine >::_target

protected

Definition at line 50 of file StateCreation.hh.

Referenced by Diades::Automata::Experimental::StateCreation< StateMachine >::target().

---

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

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