StateCreation.hh File Reference

#include <diades/utils/Iterator.hh>
#include <diades/utils/Exceptions.hh>
#include <diades/utils/Assertion.hh>
#include <diades/automata/experimental/StateMachine.hh>
#include <diades/automata/experimental/StatePropertyManager.hh>
#include <diades/automata/experimental/BeliefState.hh>

Go to the source code of this file.

Classes
class	Diades::Automata::Experimental::StateCreation< _StateMachine >
class	Diades::Automata::Experimental::NewStateCreation< StateMachine >
class	Diades::Automata::Experimental::StateCopy< StateMachine >
class	Diades::Automata::Experimental::ManagedStateCreation< StateMachine, _StateProperty >
class	Diades::Automata::Experimental::ManagedStateCopy< StateMachine, StateProperty >
class	Diades::Automata::Experimental::BeliefStateWithSourceStateCreator< StateMachine >
class	Diades::Automata::Experimental::BeliefStateBasedStateCreator< StateMachine >
class	Diades::Automata::Experimental::OnlySourceStateCreator< StateMachine >
class	Diades::Automata::Experimental::ManagedBeliefStateWithSourceStateCreator< StateMachine, StatePropertyCombination >
class	Diades::Automata::Experimental::OnlyStateCreator< StateMachine >
class	Diades::Automata::Experimental::ManagedBeliefStateBasedStateCreator< StateMachine, StatePropertyCombination >
struct	Diades::Automata::Experimental::StateCreationTraits< T >
struct	Diades::Automata::Experimental::StateCreationTraits< ManagedStateCreation< T1, T2 > >
struct	Diades::Automata::Experimental::StateCreationTraits< StateCreation< T1 > >
class	Diades::Automata::Experimental::ManagedSynchronisedStateCreation< _StateMachine, _StateProperty, StatePropertyCombination >
class	Diades::Automata::Experimental::ManagedSynchronisedStateCreation< _StateMachine, _StateProperty, StatePropertyCombination >::GetStateProperty

Namespaces
	Diades
	Namespace of the Diades project.
	Diades::Automata
	Diades::Automata::Experimental

Detailed Description

Author

Yannick Pencolé <yannick.pencole at laas.fr>

Date

1 July 2019, 10:43

Definition in file StateCreation.hh.