Diades::Automata::Experimental::BeliefStateWithSourceStateCreator< 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 (State source, const FsmBs &bs)=0

Detailed Description

template<typename StateMachine>
class Diades::Automata::Experimental::BeliefStateWithSourceStateCreator< 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 and a specific state from that belief state

Pure virtual class that ensures an interface

Definition at line 385 of file StateCreation.hh.

Member Typedef Documentation

FsmBs

template<typename StateMachine>

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

Definition at line 390 of file StateCreation.hh.

State

template<typename StateMachine>

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

Definition at line 389 of file StateCreation.hh.

StatePropertyId

template<typename StateMachine>

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

Definition at line 388 of file StateCreation.hh.

Member Function Documentation

newState()

template<typename StateMachine>

virtual std::pair<State, bool> Diades::Automata::Experimental::BeliefStateWithSourceStateCreator< StateMachine >::newState ( State  source, 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::ManagedBeliefStateWithSourceStateCreator< StateMachine, StatePropertyCombination >, and Diades::Automata::Experimental::OnlySourceStateCreator< StateMachine >.

Referenced by Diades::Automata::Experimental::Projection::projectRange().

---

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

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