Project.hh File Reference

#include <unordered_map>
#include <unordered_set>
#include <diades/utils/Verbose.hh>
#include <diades/graph/ConstNodeMap.hh>
#include <diades/automata/experimental/StateMachine.hh>
#include <diades/automata/experimental/BeliefState.hh>
#include <diades/automata/experimental/StatePropertyManager.hh>
#include <diades/automata/experimental/StateCreation.hh>

Go to the source code of this file.

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

Functions
template<typename Fsm >
void	Diades::Automata::Experimental::Projection::aggregateElementaryBeliefStates (const Fsm &machine, CstBsMap< Fsm > &bsFromState)
template<typename Fsm , typename IsGoal >
void	Diades::Automata::Experimental::Projection::computeElementaryBeliefStates (const Fsm &machine, IsGoal isGoal, CstBsMap< Fsm > &bsFromState)
template<typename Fsm , typename IsGoal >
void	Diades::Automata::Experimental::Projection::makeBeliefStates (const Fsm &machine, IsGoal isGoal, CstBsMap< Fsm > &bsFromState)
template<typename Fsm , typename EventPropertyIdIterator >
void	Diades::Automata::Experimental::Projection::computeElementaryBeliefStates (const Fsm &machine, EventPropertyIdIterator begin, EventPropertyIdIterator end, CstBsMap< Fsm > &bsFromState)
template<typename Fsm , typename EventPropertyIdIterator >
void	Diades::Automata::Experimental::Projection::makeBeliefStates (const Fsm &machine, EventPropertyIdIterator begin, EventPropertyIdIterator end, CstBsMap< Fsm > &bsFromState)
template<typename Fsm , typename EventPropertyIdIterator >
bool	Diades::Automata::Experimental::Projection::projectRange (const Fsm &machine, Fsm &abstractMachine, EventPropertyIdIterator projectedBegin, EventPropertyIdIterator projectedEnd, EventPropertyIdIterator abstractedBegin, EventPropertyIdIterator abstractedEnd, BeliefStateWithSourceStateCreator< Fsm > &stateCreation, BsMap< Fsm > &bsMap, CstStMap< typename Fsm::State > &stMap)
template<typename Fsm , typename IsGoal >
bool	Diades::Automata::Experimental::Projection::projectRange (const Fsm &machine, Fsm &abstractMachine, IsGoal isGoal, BeliefStateWithSourceStateCreator< Fsm > &stateCreation, BsMap< Fsm > &bsMap, CstStMap< typename Fsm::State > &stMap)
template<typename Fsm , typename IsGoal >
bool	Diades::Automata::Experimental::project (const Fsm &machine, Fsm &abstractMachine, IsGoal isGoal, BsMap< Fsm > &bsMap, CstStMap< typename Fsm::State > &stMap)
template<typename Fsm , typename IsGoal >
bool	Diades::Automata::Experimental::project (const Fsm &machine, Fsm &abstractMachine, IsGoal isGoal)
template<typename Fsm , typename EventPropertyIdIterator >
bool	Diades::Automata::Experimental::project (const Fsm &machine, Fsm &abstractMachine, EventPropertyIdIterator begin, EventPropertyIdIterator end, BsMap< Fsm > &bsMap, CstStMap< typename Fsm::State > &stMap)
template<typename Fsm , typename EventPropertyIdIterator >
bool	Diades::Automata::Experimental::project (const Fsm &machine, Fsm &abstractMachine, EventPropertyIdIterator begin, EventPropertyIdIterator end)
template<typename Fsm , typename IsGoal , typename StateProperty , typename StateLabelProjection >
bool	Diades::Automata::Experimental::project (const Fsm &fsm, Fsm &projectedFsm, const StatePropertyManager< StateProperty, typename Fsm::StatePropertyId > &stateManager, StatePropertyManager< StateProperty, typename Fsm::StatePropertyId > &projectionStateManager, const StateLabelProjection &projection, IsGoal isGoal, BsMap< Fsm > &bsMap, CstStMap< typename Fsm::State > &stMap)
template<typename Fsm , typename IsGoal , typename StateProperty , typename StateLabelProjection >
bool	Diades::Automata::Experimental::project (const Fsm &fsm, Fsm &projectedFsm, const StatePropertyManager< StateProperty, typename Fsm::StatePropertyId > &stateManager, StatePropertyManager< StateProperty, typename Fsm::StatePropertyId > &projectionStateManager, const StateLabelProjection &projection, IsGoal isGoal)
template<typename Fsm , typename EventPropertyIdIterator , typename StateProperty , typename StateLabelProjection >
bool	Diades::Automata::Experimental::project (const Fsm &fsm, Fsm &projectedFsm, const StatePropertyManager< StateProperty, typename Fsm::StatePropertyId > &stateManager, StatePropertyManager< StateProperty, typename Fsm::StatePropertyId > &projectionStateManager, const StateLabelProjection &projection, EventPropertyIdIterator begin, EventPropertyIdIterator end, BsMap< Fsm > &bsMap, CstStMap< typename Fsm::State > &stMap)
template<typename Fsm , typename EventPropertyIdIterator , typename StateProperty , typename StateLabelProjection >
bool	Diades::Automata::Experimental::project (const Fsm &fsm, Fsm &projectedFsm, const StatePropertyManager< StateProperty, typename Fsm::StatePropertyId > &stateManager, StatePropertyManager< StateProperty, typename Fsm::StatePropertyId > &projectionStateManager, const StateLabelProjection &projection, EventPropertyIdIterator begin, EventPropertyIdIterator end)
template<typename Fsm , typename EventPropertyIdIterator >
bool	Diades::Automata::Experimental::abstractEvents (const Fsm &machine, Fsm &abstractMachine, EventPropertyIdIterator begin, EventPropertyIdIterator end, BsMap< Fsm > &bsMap, CstStMap< typename Fsm::State > &stMap)
template<typename Fsm , typename EventPropertyIdIterator >
bool	Diades::Automata::Experimental::abstractEvents (const Fsm &machine, Fsm &abstractMachine, EventPropertyIdIterator begin, EventPropertyIdIterator end)
template<typename Fsm , typename EventPropertyIdIterator , typename StateProperty , typename StateLabelProjection >
bool	Diades::Automata::Experimental::abstractEvents (const Fsm &fsm, Fsm &projectedFsm, const StatePropertyManager< StateProperty, typename Fsm::StatePropertyId > &stateManager, StatePropertyManager< StateProperty, typename Fsm::StatePropertyId > &projectionStateManager, const StateLabelProjection &projection, EventPropertyIdIterator begin, EventPropertyIdIterator end, BsMap< Fsm > &bsMap, CstStMap< typename Fsm::State > &stMap)
template<typename Fsm , typename EventPropertyIdIterator , typename StateProperty , typename StateLabelProjection >
bool	Diades::Automata::Experimental::abstractEvents (const Fsm &fsm, Fsm &projectedFsm, const StatePropertyManager< StateProperty, typename Fsm::StatePropertyId > &stateManager, StatePropertyManager< StateProperty, typename Fsm::StatePropertyId > &projectionStateManager, const StateLabelProjection &projection, EventPropertyIdIterator begin, EventPropertyIdIterator end)

Detailed Description

Author

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

Date

4 May 2019, 23:01

Definition in file Project.hh.