Diades::Automata::Experimental::NewStateCreation< StateMachine > Class Template Reference

#include <StateCreation.hh>

Public Types
using	SC = StateCreation< StateMachine >
Public Types inherited from Diades::Automata::Experimental::StateCreation< StateMachine >
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
	NewStateCreation (const StateMachine &source, StateMachine &target)
virtual std::pair< typename SC::State, bool >	newState (typename SC::State source)
Public Member Functions inherited from Diades::Automata::Experimental::StateCreation< StateMachine >
	StateCreation (const Fsm &source, Fsm &target)
const Fsm &	source () const
const Fsm &	target () const
Fsm &	target ()

Additional Inherited Members
Static Public Member Functions inherited from Diades::Automata::Experimental::StateCreation< StateMachine >
static string	typeName ()
Protected Attributes inherited from Diades::Automata::Experimental::StateCreation< StateMachine >
const Fsm &	_source
Fsm &	_target

Detailed Description

template<typename StateMachine>
class Diades::Automata::Experimental::NewStateCreation< StateMachine >

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

This class simply creates a new State in the target state without taking care of the source state.

Definition at line 104 of file StateCreation.hh.

Member Typedef Documentation

SC

template<typename StateMachine >

using Diades::Automata::Experimental::NewStateCreation< StateMachine >::SC = StateCreation<StateMachine>

Definition at line 106 of file StateCreation.hh.

Constructor & Destructor Documentation

NewStateCreation()

template<typename StateMachine >

Diades::Automata::Experimental::NewStateCreation< StateMachine >::NewStateCreation ( const StateMachine &  source, StateMachine &  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 117 of file StateCreation.hh.

Member Function Documentation

newState()

template<typename StateMachine >

virtual std::pair<typename SC::State, bool> Diades::Automata::Experimental::NewStateCreation< StateMachine >::newState ( typename SC::State  source )

inlinevirtual

Parameters

source

a source state from the source machine

Returns

a State newly created in the target machine

Definition at line 129 of file StateCreation.hh.

---

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

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