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

#include <StateCreation.hh>

Public Types
using	SC = StateCreation< StateMachine >
using	BSSSC = BeliefStateWithSourceStateCreator< StateMachine >
using	State = typename SC::State
using	FsmBs = typename BSSSC::FsmBs
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::BeliefStateWithSourceStateCreator< StateMachine >
using	StatePropertyId = typename StateMachine::StatePropertyId
using	State = typename StateMachine::State
using	FsmBs = BeliefState< StateMachine >

Public Member Functions
	OnlySourceStateCreator (const StateMachine &source, StateMachine &target)
virtual std::pair< State, bool >	newState (State source, const FsmBs &bs)
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::OnlySourceStateCreator< StateMachine >

FiniteAutomaton) 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 simply takes the StatePropertyId of the source State in the belief state of the source machine

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 simply associates a state to a belief state of the source machine. Be aware that there is no real association here, the created state is only associated with the nullStatePropertyId.

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 simply takes the StatePropertyId of the source State in the belief state of the source machine

Definition at line 451 of file StateCreation.hh.

Member Typedef Documentation

BSSSC

template<typename StateMachine>

using Diades::Automata::Experimental::OnlySourceStateCreator< StateMachine >::BSSSC = BeliefStateWithSourceStateCreator<StateMachine>

Definition at line 455 of file StateCreation.hh.

FsmBs

template<typename StateMachine>

using Diades::Automata::Experimental::OnlySourceStateCreator< StateMachine >::FsmBs = typename BSSSC::FsmBs

Definition at line 457 of file StateCreation.hh.

SC

template<typename StateMachine>

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

Definition at line 454 of file StateCreation.hh.

State

template<typename StateMachine>

using Diades::Automata::Experimental::OnlySourceStateCreator< StateMachine >::State = typename SC::State

Definition at line 456 of file StateCreation.hh.

Constructor & Destructor Documentation

OnlySourceStateCreator()

template<typename StateMachine>

Diades::Automata::Experimental::OnlySourceStateCreator< StateMachine >::OnlySourceStateCreator ( const StateMachine &  source, StateMachine &  target  )

inline

Constructor

Parameters

source	the source machine
target	the target machine

Definition at line 465 of file StateCreation.hh.

Member Function Documentation

newState()

template<typename StateMachine>

virtual std::pair<State, bool> Diades::Automata::Experimental::OnlySourceStateCreator< StateMachine >::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 that takes the StatePropertyId of the first State in the belief state of the source machine

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

Definition at line 478 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