DiaDes  0.1
DIAgnosis of Discrete-Event System
Public Types | Public Member Functions | Private Attributes | List of all members
Diades::Automata::Experimental::ManagedStateCreation< StateMachine, _StateProperty > Class Template Reference

#include <StateCreation.hh>

Public Types

using SC = StateCreation< StateMachine >
 
using Fsm = typename SC::Fsm
 
using StateProperty = _StateProperty
 
using StatePropertyId = typename SC::StatePropertyId
 
using StManager = StatePropertyManager< StateProperty, StatePropertyId >
 
- 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

const StManagersourceStateManager () const
 
StManagertargetStateManager ()
 
 ManagedStateCreation (const Fsm &source, Fsm &target, const StManager &sourceStateManager, StManager &targetStateManager)
 
- Public Member Functions inherited from Diades::Automata::Experimental::StateCreation< StateMachine >
 StateCreation (const Fsm &source, Fsm &target)
 
const Fsmsource () const
 
const Fsmtarget () const
 
Fsmtarget ()
 

Private Attributes

const StManager_sourceStateManager
 
StManager_targetStateManager
 

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, typename _StateProperty>
class Diades::Automata::Experimental::ManagedStateCreation< StateMachine, _StateProperty >

This class is a utility class for some operation on StateMachines It associates a source state manager and a target state manager to a state creator

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

Definition at line 210 of file StateCreation.hh.

Member Typedef Documentation

◆ Fsm

template<typename StateMachine, typename _StateProperty>
using Diades::Automata::Experimental::ManagedStateCreation< StateMachine, _StateProperty >::Fsm = typename SC::Fsm

Definition at line 213 of file StateCreation.hh.

◆ SC

template<typename StateMachine, typename _StateProperty>
using Diades::Automata::Experimental::ManagedStateCreation< StateMachine, _StateProperty >::SC = StateCreation<StateMachine>

Definition at line 212 of file StateCreation.hh.

◆ StateProperty

template<typename StateMachine, typename _StateProperty>
using Diades::Automata::Experimental::ManagedStateCreation< StateMachine, _StateProperty >::StateProperty = _StateProperty

Definition at line 214 of file StateCreation.hh.

◆ StatePropertyId

template<typename StateMachine, typename _StateProperty>
using Diades::Automata::Experimental::ManagedStateCreation< StateMachine, _StateProperty >::StatePropertyId = typename SC::StatePropertyId

Definition at line 215 of file StateCreation.hh.

◆ StManager

template<typename StateMachine, typename _StateProperty>
using Diades::Automata::Experimental::ManagedStateCreation< StateMachine, _StateProperty >::StManager = StatePropertyManager<StateProperty, StatePropertyId>

Definition at line 216 of file StateCreation.hh.

Constructor & Destructor Documentation

◆ ManagedStateCreation()

template<typename StateMachine, typename _StateProperty>
Diades::Automata::Experimental::ManagedStateCreation< StateMachine, _StateProperty >::ManagedStateCreation ( const Fsm source,
Fsm target,
const StManager sourceStateManager,
StManager targetStateManager 
)
inline

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

Parameters
sourcethe source machine
targetthe target machine
sourceStateManagerthe source state property manager
targetStateManagerthe target state property manager

Definition at line 252 of file StateCreation.hh.

Member Function Documentation

◆ sourceStateManager()

template<typename StateMachine, typename _StateProperty>
const StManager& Diades::Automata::Experimental::ManagedStateCreation< StateMachine, _StateProperty >::sourceStateManager ( ) const
inline
Returns
the source state manager

Definition at line 228 of file StateCreation.hh.

◆ targetStateManager()

template<typename StateMachine, typename _StateProperty>
StManager& Diades::Automata::Experimental::ManagedStateCreation< StateMachine, _StateProperty >::targetStateManager ( )
inline
Returns
the target state manager

Definition at line 237 of file StateCreation.hh.

Member Data Documentation

◆ _sourceStateManager

template<typename StateMachine, typename _StateProperty>
const StManager& Diades::Automata::Experimental::ManagedStateCreation< StateMachine, _StateProperty >::_sourceStateManager
private

Definition at line 218 of file StateCreation.hh.

◆ _targetStateManager

template<typename StateMachine, typename _StateProperty>
StManager& Diades::Automata::Experimental::ManagedStateCreation< StateMachine, _StateProperty >::_targetStateManager
private

Definition at line 219 of file StateCreation.hh.


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