Diades::Automata::Experimental::AutStateCreator Class Reference

#include <AutFile.hh>

Public Types
using	OSC = OnlyStateCreator< AutFsm >
using	State = typename OSC::State
using	FsmBs = typename OSC::FsmBs
Public Types inherited from Diades::Automata::Experimental::OnlyStateCreator< AutFsm >
using	SC = StateCreation< AutFsm >
using	BSBSC = BeliefStateBasedStateCreator< AutFsm >
using	State = typename SC::State
using	FsmBs = typename BSBSC::FsmBs
Public Types inherited from Diades::Automata::Experimental::StateCreation< AutFsm >
using	Exception = Diades::Utils::Exception< StateCreation >
using	Fsm = AutFsm
using	StatePropertyId = typename Fsm::StatePropertyId
using	EventPropertyId = typename Fsm::EventPropertyId
using	State = typename Fsm::State
Public Types inherited from Diades::Automata::Experimental::BeliefStateBasedStateCreator< AutFsm >
using	StatePropertyId = typename AutFsm ::StatePropertyId
using	State = typename AutFsm ::State
using	FsmBs = BeliefState< AutFsm >

Public Member Functions
	AutStateCreator (const AutFsm &source, AutFsm &target)
virtual std::pair< State, bool >	newState (const FsmBs &bs)
Public Member Functions inherited from Diades::Automata::Experimental::OnlyStateCreator< AutFsm >
	OnlyStateCreator (const AutFsm &source, AutFsm &target)
virtual std::pair< State, bool >	newState (const FsmBs &bs)
Public Member Functions inherited from Diades::Automata::Experimental::StateCreation< AutFsm >
	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< AutFsm >
static string	typeName ()
Protected Attributes inherited from Diades::Automata::Experimental::StateCreation< AutFsm >
const Fsm &	_source
Fsm &	_target

Detailed Description

The OnlyStateCreator for AutFsm. The new state automatically takes as StateId the previous number of states.

Definition at line 190 of file AutFile.hh.

Member Typedef Documentation

FsmBs

using Diades::Automata::Experimental::AutStateCreator::FsmBs = typename OSC::FsmBs

Definition at line 196 of file AutFile.hh.

OSC

using Diades::Automata::Experimental::AutStateCreator::OSC = OnlyStateCreator<AutFsm>

Definition at line 193 of file AutFile.hh.

State

using Diades::Automata::Experimental::AutStateCreator::State = typename OSC::State

Definition at line 195 of file AutFile.hh.

Constructor & Destructor Documentation

AutStateCreator()

Diades::Automata::Experimental::AutStateCreator::AutStateCreator ( const AutFsm &  source, AutFsm &  target  )

inline

Constructor

Parameters

source	the source machine
target	the target machine

Definition at line 204 of file AutFile.hh.

Member Function Documentation

newState()

virtual std::pair<State, bool> Diades::Automata::Experimental::AutStateCreator::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 218 of file AutFile.hh.

References Diades::Automata::Experimental::StateCreation< AutFsm >::_target, Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::newState(), and Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::numberOfStates().

---

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

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