Diades::Automata::Experimental::OnlyStateCreator< FiniteAutomaton< S, I, NS, NI > > Class Template Reference

#include <FiniteAutomaton.hh>

Public Types
using	FA = FiniteAutomaton< S, I, NS, NI >
using	SC = StateCreation< FA >
using	BSBSC = BeliefStateBasedStateCreator< FA >
using	State = typename SC::State
using	FsmBs = typename BSBSC::FsmBs
Public Types inherited from Diades::Automata::Experimental::StateCreation< FiniteAutomaton< S, I, NS, NI > >
using	Exception = Diades::Utils::Exception< StateCreation >
using	Fsm = FiniteAutomaton< S, I, NS, NI >
using	StatePropertyId = typename Fsm::StatePropertyId
using	EventPropertyId = typename Fsm::EventPropertyId
using	State = typename Fsm::State
Public Types inherited from Diades::Automata::Experimental::BeliefStateBasedStateCreator< FiniteAutomaton< S, I, NS, NI > >
using	StatePropertyId = typename FiniteAutomaton< S, I, NS, NI > ::StatePropertyId
using	State = typename FiniteAutomaton< S, I, NS, NI > ::State
using	FsmBs = BeliefState< FiniteAutomaton< S, I, NS, NI > >

Public Member Functions
	OnlyStateCreator (const FA &source, FA &target)
virtual std::pair< State, bool >	newState (const FsmBs &bs)
Public Member Functions inherited from Diades::Automata::Experimental::StateCreation< FiniteAutomaton< S, I, NS, NI > >
	StateCreation (const Fsm &source, Fsm &target)
const Fsm &	source () const
const Fsm &	target () const
Fsm &	target ()
Public Member Functions inherited from Diades::Automata::Experimental::BeliefStateBasedStateCreator< FiniteAutomaton< S, I, NS, NI > >
virtual std::pair< State, bool >	newState (const FsmBs &bs)=0

Additional Inherited Members
Static Public Member Functions inherited from Diades::Automata::Experimental::StateCreation< FiniteAutomaton< S, I, NS, NI > >
static string	typeName ()
Protected Attributes inherited from Diades::Automata::Experimental::StateCreation< FiniteAutomaton< S, I, NS, NI > >
const Fsm &	_source
Fsm &	_target

Detailed Description

template<typename S, typename I, typename NS, typename NI>
class Diades::Automata::Experimental::OnlyStateCreator< FiniteAutomaton< S, I, NS, NI > >

Definition at line 493 of file FiniteAutomaton.hh.

Member Typedef Documentation

BSBSC

template<typename S , typename I , typename NS , typename NI >

using Diades::Automata::Experimental::OnlyStateCreator< FiniteAutomaton< S, I, NS, NI > >::BSBSC = BeliefStateBasedStateCreator<FA>

Definition at line 499 of file FiniteAutomaton.hh.

FA

template<typename S , typename I , typename NS , typename NI >

using Diades::Automata::Experimental::OnlyStateCreator< FiniteAutomaton< S, I, NS, NI > >::FA = FiniteAutomaton<S, I, NS, NI>

Definition at line 497 of file FiniteAutomaton.hh.

FsmBs

template<typename S , typename I , typename NS , typename NI >

using Diades::Automata::Experimental::OnlyStateCreator< FiniteAutomaton< S, I, NS, NI > >::FsmBs = typename BSBSC::FsmBs

Definition at line 501 of file FiniteAutomaton.hh.

SC

template<typename S , typename I , typename NS , typename NI >

using Diades::Automata::Experimental::OnlyStateCreator< FiniteAutomaton< S, I, NS, NI > >::SC = StateCreation<FA>

Definition at line 498 of file FiniteAutomaton.hh.

State

template<typename S , typename I , typename NS , typename NI >

using Diades::Automata::Experimental::OnlyStateCreator< FiniteAutomaton< S, I, NS, NI > >::State = typename SC::State

Definition at line 500 of file FiniteAutomaton.hh.

Constructor & Destructor Documentation

OnlyStateCreator()

template<typename S , typename I , typename NS , typename NI >

Diades::Automata::Experimental::OnlyStateCreator< FiniteAutomaton< S, I, NS, NI > >::OnlyStateCreator ( const FA &  source, FA &  target  )

inline

Constructor

Parameters

source	the source machine
target	the target machine

Definition at line 509 of file FiniteAutomaton.hh.

Member Function Documentation

newState()

template<typename S , typename I , typename NS , typename NI >

virtual std::pair<State, bool> Diades::Automata::Experimental::OnlyStateCreator< FiniteAutomaton< S, I, NS, NI > >::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

Definition at line 523 of file FiniteAutomaton.hh.

References Diades::Automata::Experimental::StateMachine< _StatePropertyId, _InputSymbolId, _NullStatePropertyId, _NullInputSymbolId >::newState().

---

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

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