Abstract.hh File Reference

#include <unordered_map>
#include <unordered_set>
#include <diades/automata/experimental/StateMachine.hh>
#include <diades/automata/experimental/BeliefState.hh>
#include <diades/automata/experimental/StatePropertyManager.hh>

Go to the source code of this file.

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

Functions
template<typename Fsm , typename BeliefStateIterator , typename StateCreation >
bool	Diades::Automata::Experimental::abstract (const Fsm &machine, Fsm &abstractedMachine, BeliefStateIterator bfBegin, BeliefStateIterator bfEnd, std::vector< typename Fsm::State > &abstractedStates, StateCreation &creator)
template<typename Fsm , typename BeliefStateIterator , typename StateCreation >
bool	Diades::Automata::Experimental::abstract (const Fsm &machine, Fsm &abstractedMachine, BeliefStateIterator bfBegin, BeliefStateIterator bfEnd, StateCreation &creator)

Detailed Description

Author

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

Date

18 April 2019, 21:18

Definition in file Abstract.hh.