DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#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 StManager & | sourceStateManager () const |
StManager & | targetStateManager () |
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 Fsm & | source () const |
const Fsm & | target () const |
Fsm & | target () |
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 |
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.
using Diades::Automata::Experimental::ManagedStateCreation< StateMachine, _StateProperty >::Fsm = typename SC::Fsm |
Definition at line 213 of file StateCreation.hh.
using Diades::Automata::Experimental::ManagedStateCreation< StateMachine, _StateProperty >::SC = StateCreation<StateMachine> |
Definition at line 212 of file StateCreation.hh.
using Diades::Automata::Experimental::ManagedStateCreation< StateMachine, _StateProperty >::StateProperty = _StateProperty |
Definition at line 214 of file StateCreation.hh.
using Diades::Automata::Experimental::ManagedStateCreation< StateMachine, _StateProperty >::StatePropertyId = typename SC::StatePropertyId |
Definition at line 215 of file StateCreation.hh.
using Diades::Automata::Experimental::ManagedStateCreation< StateMachine, _StateProperty >::StManager = StatePropertyManager<StateProperty, StatePropertyId> |
Definition at line 216 of file StateCreation.hh.
|
inline |
Constructor Any state will be creation in the target machine based on some states from the source machine
source | the source machine |
target | the target machine |
sourceStateManager | the source state property manager |
targetStateManager | the target state property manager |
Definition at line 252 of file StateCreation.hh.
|
inline |
Definition at line 228 of file StateCreation.hh.
|
inline |
Definition at line 237 of file StateCreation.hh.
|
private |
Definition at line 218 of file StateCreation.hh.
|
private |
Definition at line 219 of file StateCreation.hh.