Diades::Automata::Experimental::ManagedBeliefStateWithSourceStateCreator< FiniteAutomaton< S, I, NS, NI >, StatePropertyCombination > Class Template Reference

#include <FiniteAutomaton.hh>

Public Types
using	FA = FiniteAutomaton< S, I, NS, NI >
using	BSSSC = BeliefStateWithSourceStateCreator< FA >
using	MSC = ManagedStateCreation< FA, typename StatePropertyCombination::StateProperty >
using	State = typename MSC::State
using	FsmBs = typename BSSSC::FsmBs
using	StatePropertyId = typename MSC::StatePropertyId
using	StateProperty = typename MSC::StateProperty
Public Types inherited from Diades::Automata::Experimental::ManagedStateCreation< FiniteAutomaton< S, I, NS, NI >, StatePropertyCombination::StateProperty >
using	SC = StateCreation< FiniteAutomaton< S, I, NS, NI > >
using	Fsm = typename SC::Fsm
using	StateProperty = StatePropertyCombination::StateProperty
using	StatePropertyId = typename SC::StatePropertyId
using	StManager = StatePropertyManager< StateProperty, StatePropertyId >
Public Types inherited from Diades::Automata::Experimental::StateCreation< FiniteAutomaton< S, I, NS, NI > >
using	Exception = Diades::Utils::Exception< StateCreation >
using	Fsm = FiniteAutomaton< S, I, NS, NI >
using	StatePropertyId = typename Fsm::StatePropertyId
using	EventPropertyId = typename Fsm::EventPropertyId
using	State = typename Fsm::State
Public Types inherited from Diades::Automata::Experimental::BeliefStateWithSourceStateCreator< FiniteAutomaton< S, I, NS, NI > >
using	StatePropertyId = typename FiniteAutomaton< S, I, NS, NI > ::StatePropertyId
using	State = typename FiniteAutomaton< S, I, NS, NI > ::State
using	FsmBs = BeliefState< FiniteAutomaton< S, I, NS, NI > >

Public Member Functions
	ManagedBeliefStateWithSourceStateCreator (const FA &source, FA &target, const StatePropertyManager< StateProperty, StatePropertyId > &sourceStateManager, StatePropertyManager< StateProperty, StatePropertyId > &targetStateManager)
virtual std::pair< State, bool >	newState (State source, const FsmBs &bs)
Public Member Functions inherited from Diades::Automata::Experimental::ManagedStateCreation< FiniteAutomaton< S, I, NS, NI >, StatePropertyCombination::StateProperty >
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< FiniteAutomaton< S, I, NS, NI > >
	StateCreation (const Fsm &source, Fsm &target)
const Fsm &	source () const
const Fsm &	target () const
Fsm &	target ()
Public Member Functions inherited from Diades::Automata::Experimental::BeliefStateWithSourceStateCreator< FiniteAutomaton< S, I, NS, NI > >
virtual std::pair< State, bool >	newState (State source, const FsmBs &bs)=0

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

Detailed Description

template<typename S, typename I, typename NS, typename NI, typename StatePropertyCombination>
class Diades::Automata::Experimental::ManagedBeliefStateWithSourceStateCreator< FiniteAutomaton< S, I, NS, NI >, StatePropertyCombination >

Definition at line 423 of file FiniteAutomaton.hh.

Member Typedef Documentation

BSSSC

template<typename S , typename I , typename NS , typename NI , typename StatePropertyCombination >

using Diades::Automata::Experimental::ManagedBeliefStateWithSourceStateCreator< FiniteAutomaton< S, I, NS, NI >, StatePropertyCombination >::BSSSC = BeliefStateWithSourceStateCreator<FA>

Definition at line 431 of file FiniteAutomaton.hh.

FA

template<typename S , typename I , typename NS , typename NI , typename StatePropertyCombination >

using Diades::Automata::Experimental::ManagedBeliefStateWithSourceStateCreator< FiniteAutomaton< S, I, NS, NI >, StatePropertyCombination >::FA = FiniteAutomaton<S, I, NS, NI>

Definition at line 430 of file FiniteAutomaton.hh.

FsmBs

template<typename S , typename I , typename NS , typename NI , typename StatePropertyCombination >

using Diades::Automata::Experimental::ManagedBeliefStateWithSourceStateCreator< FiniteAutomaton< S, I, NS, NI >, StatePropertyCombination >::FsmBs = typename BSSSC::FsmBs

Definition at line 434 of file FiniteAutomaton.hh.

MSC

template<typename S , typename I , typename NS , typename NI , typename StatePropertyCombination >

using Diades::Automata::Experimental::ManagedBeliefStateWithSourceStateCreator< FiniteAutomaton< S, I, NS, NI >, StatePropertyCombination >::MSC = ManagedStateCreation< FA, typename StatePropertyCombination::StateProperty>

Definition at line 432 of file FiniteAutomaton.hh.

State

template<typename S , typename I , typename NS , typename NI , typename StatePropertyCombination >

using Diades::Automata::Experimental::ManagedBeliefStateWithSourceStateCreator< FiniteAutomaton< S, I, NS, NI >, StatePropertyCombination >::State = typename MSC::State

Definition at line 433 of file FiniteAutomaton.hh.

StateProperty

template<typename S , typename I , typename NS , typename NI , typename StatePropertyCombination >

using Diades::Automata::Experimental::ManagedBeliefStateWithSourceStateCreator< FiniteAutomaton< S, I, NS, NI >, StatePropertyCombination >::StateProperty = typename MSC::StateProperty

Definition at line 436 of file FiniteAutomaton.hh.

StatePropertyId

template<typename S , typename I , typename NS , typename NI , typename StatePropertyCombination >

using Diades::Automata::Experimental::ManagedBeliefStateWithSourceStateCreator< FiniteAutomaton< S, I, NS, NI >, StatePropertyCombination >::StatePropertyId = typename MSC::StatePropertyId

Definition at line 435 of file FiniteAutomaton.hh.

Constructor & Destructor Documentation

ManagedBeliefStateWithSourceStateCreator()

template<typename S , typename I , typename NS , typename NI , typename StatePropertyCombination >

Diades::Automata::Experimental::ManagedBeliefStateWithSourceStateCreator< FiniteAutomaton< S, I, NS, NI >, StatePropertyCombination >::ManagedBeliefStateWithSourceStateCreator ( const FA &  source, FA &  target, const StatePropertyManager< StateProperty, StatePropertyId > &  sourceStateManager, StatePropertyManager< StateProperty, StatePropertyId > &  targetStateManager  )

inline

Constructor

Parameters

source	the source machine
target	the target machine
sourceStateManager	the StatePropertyManager of the source machine
targetStateManager	the StatePropertyManager of the target machine

Definition at line 445 of file FiniteAutomaton.hh.

Member Function Documentation

newState()

template<typename S , typename I , typename NS , typename NI , typename StatePropertyCombination >

virtual std::pair<State, bool> Diades::Automata::Experimental::ManagedBeliefStateWithSourceStateCreator< FiniteAutomaton< S, I, NS, NI >, StatePropertyCombination >::newState ( State  source, const FsmBs &  bs  )

inlinevirtual

Parameters

bs	a BeliefState from the source machine, it is the set of states reachable from the source state source by a transition that is not projected
bs	a BeliefState from the source machine, it is the set of states reachable from the source state source by a transition that is not projected

Returns

a State newly created in the target machine gets a StatePropertyId that is associated with a StateProperty from the projectionStateManager built from the BeliefState from source by a StatePropertyProjection functor

Definition at line 462 of file FiniteAutomaton.hh.

References Diades::Automata::Experimental::StateMachine< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::getStatePropertyId(), and Diades::Automata::Experimental::StateMachine< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::statePropertyIdRangeIterator().

---

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

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