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

#include <StateCreation.hh>

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

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

Definition at line 561 of file StateCreation.hh.

Member Typedef Documentation

BSBSC

template<typename StateMachine>

using Diades::Automata::Experimental::OnlyStateCreator< StateMachine >::BSBSC = BeliefStateBasedStateCreator<StateMachine>

Definition at line 565 of file StateCreation.hh.

FsmBs

template<typename StateMachine>

using Diades::Automata::Experimental::OnlyStateCreator< StateMachine >::FsmBs = typename BSBSC::FsmBs

Definition at line 567 of file StateCreation.hh.

SC

template<typename StateMachine>

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

Definition at line 564 of file StateCreation.hh.

State

template<typename StateMachine>

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

Definition at line 566 of file StateCreation.hh.

Constructor & Destructor Documentation

OnlyStateCreator()

template<typename StateMachine>

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

inline

Constructor

Parameters

source	the source machine
target	the target machine

Definition at line 575 of file StateCreation.hh.

Member Function Documentation

newState()

template<typename StateMachine>

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

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

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