Diades::Automata::Experimental::ManagedBeliefStateBasedStateCreator< StateMachine, StatePropertyCombination > Class Template Reference

#include <StateCreation.hh>

Public Types
using	MSC = ManagedStateCreation< StateMachine, typename StatePropertyCombination::Property >
using	BSBSC = BeliefStateBasedStateCreator< StateMachine >
using	State = typename MSC::State
using	FsmBs = typename BSBSC::FsmBs
using	StatePropertyId = typename MSC::StatePropertyId
using	StateProperty = typename MSC::StateProperty
Public Types inherited from Diades::Automata::Experimental::ManagedStateCreation< StateMachine, StatePropertyCombination::Property >
using	SC = StateCreation< StateMachine >
using	Fsm = typename SC::Fsm
using	StateProperty = StatePropertyCombination::Property
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 Types inherited from Diades::Automata::Experimental::BeliefStateBasedStateCreator< StateMachine >
using	StatePropertyId = typename StateMachine::StatePropertyId
using	State = typename StateMachine::State
using	FsmBs = BeliefState< StateMachine >

Public Member Functions
	ManagedBeliefStateBasedStateCreator (const StateMachine &source, StateMachine &target, const StatePropertyManager< StateProperty, StatePropertyId > &sourceStateManager, StatePropertyManager< StateProperty, StatePropertyId > &targetStateManager)
virtual std::pair< State, bool >	newState (const FsmBs &bs)
Public Member Functions inherited from Diades::Automata::Experimental::ManagedStateCreation< StateMachine, StatePropertyCombination::Property >
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 ()

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 StatePropertyCombination>
class Diades::Automata::Experimental::ManagedBeliefStateBasedStateCreator< StateMachine, StatePropertyCombination >

This class is a utility class. It associates a source machine with a target machine. It allows the creation of a State in the target machine from a BeliefState from the source machine

With this class, the created State in target gets a StatePropertyId that is associated with the BeliefState from source by a StatePropertyCombination functor

Definition at line 608 of file StateCreation.hh.

Member Typedef Documentation

BSBSC

template<typename StateMachine, typename StatePropertyCombination>

using Diades::Automata::Experimental::ManagedBeliefStateBasedStateCreator< StateMachine, StatePropertyCombination >::BSBSC = BeliefStateBasedStateCreator<StateMachine>

Definition at line 613 of file StateCreation.hh.

FsmBs

template<typename StateMachine, typename StatePropertyCombination>

using Diades::Automata::Experimental::ManagedBeliefStateBasedStateCreator< StateMachine, StatePropertyCombination >::FsmBs = typename BSBSC::FsmBs

Definition at line 615 of file StateCreation.hh.

MSC

template<typename StateMachine, typename StatePropertyCombination>

using Diades::Automata::Experimental::ManagedBeliefStateBasedStateCreator< StateMachine, StatePropertyCombination >::MSC = ManagedStateCreation<StateMachine, typename StatePropertyCombination::Property>

Definition at line 612 of file StateCreation.hh.

State

template<typename StateMachine, typename StatePropertyCombination>

using Diades::Automata::Experimental::ManagedBeliefStateBasedStateCreator< StateMachine, StatePropertyCombination >::State = typename MSC::State

Definition at line 614 of file StateCreation.hh.

StateProperty

template<typename StateMachine, typename StatePropertyCombination>

using Diades::Automata::Experimental::ManagedBeliefStateBasedStateCreator< StateMachine, StatePropertyCombination >::StateProperty = typename MSC::StateProperty

Definition at line 617 of file StateCreation.hh.

StatePropertyId

template<typename StateMachine, typename StatePropertyCombination>

using Diades::Automata::Experimental::ManagedBeliefStateBasedStateCreator< StateMachine, StatePropertyCombination >::StatePropertyId = typename MSC::StatePropertyId

Definition at line 616 of file StateCreation.hh.

Constructor & Destructor Documentation

ManagedBeliefStateBasedStateCreator()

template<typename StateMachine, typename StatePropertyCombination>

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

Member Function Documentation

newState()

template<typename StateMachine, typename StatePropertyCombination>

virtual std::pair<State, bool> Diades::Automata::Experimental::ManagedBeliefStateBasedStateCreator< StateMachine, StatePropertyCombination >::newState ( 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

Implements Diades::Automata::Experimental::BeliefStateBasedStateCreator< StateMachine >.

Definition at line 644 of file StateCreation.hh.

References Diades::Graph::GraphNodeSet::begin(), and Diades::Graph::GraphNodeSet::end().

---

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

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