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

#include <StateCreation.hh>

Public Types
using	StatePropertyId = typename StateMachine::StatePropertyId
using	State = typename StateMachine::State
using	FsmBs = BeliefState< StateMachine >

Public Member Functions
virtual std::pair< State, bool >	newState (const FsmBs &bs)=0

Detailed Description

template<typename StateMachine>
class Diades::Automata::Experimental::BeliefStateBasedStateCreator< StateMachine >

This class is a utility class for some operation on StateMachines It associates a virtual method newState that ensures the created state is based on a belief state

Pure virtual class that ensures an interface

Definition at line 417 of file StateCreation.hh.

Member Typedef Documentation

FsmBs

template<typename StateMachine>

using Diades::Automata::Experimental::BeliefStateBasedStateCreator< StateMachine >::FsmBs = BeliefState<StateMachine>

Definition at line 422 of file StateCreation.hh.

State

template<typename StateMachine>

using Diades::Automata::Experimental::BeliefStateBasedStateCreator< StateMachine >::State = typename StateMachine::State

Definition at line 421 of file StateCreation.hh.

StatePropertyId

template<typename StateMachine>

using Diades::Automata::Experimental::BeliefStateBasedStateCreator< StateMachine >::StatePropertyId = typename StateMachine::StatePropertyId

Definition at line 420 of file StateCreation.hh.

Member Function Documentation

newState()

template<typename StateMachine>

virtual std::pair<State, bool> Diades::Automata::Experimental::BeliefStateBasedStateCreator< StateMachine >::newState ( const FsmBs &  bs )

pure virtual

Parameters

source	a source state from the BeliefState from the source machine
bs	a BeliefState from the source machine

Returns

a State newly created in the target machine that takes the StatePropertyId of the source State and combines with the StatePropertyIds of the belief state

Implemented in Diades::Automata::Experimental::ManagedBeliefStateBasedStateCreator< StateMachine, StatePropertyCombination >, Diades::Automata::Experimental::OnlyStateCreator< StateMachine >, and Diades::Automata::Experimental::OnlyStateCreator< AutFsm >.

---

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

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