Trimming.hh File Reference

Set of functions that trim states/transitions from StateMachines. More...

#include <unordered_map>
#include <unordered_set>
#include <list>
#include <stack>
#include <diades/automata/experimental/StateMachine.hh>
#include <diades/automata/experimental/BeliefState.hh>
#include <diades/automata/experimental/ControlPattern.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 StateIdInsertIterator >
void	Diades::Automata::Experimental::trimmingTraces (Fsm &machine, BeliefStateIterator bfBegin, BeliefStateIterator bfEnd, StateIdInsertIterator insertIt)
	Trim the traces of the Fsm that does not reach the given BeliefState. More...
template<typename Fsm , typename BeliefStateIterator , typename StateIdInsertIterator >
void	Diades::Automata::Experimental::trimmingUnreachableStates (Fsm &machine, BeliefStateIterator bfBegin, BeliefStateIterator bfEnd, StateIdInsertIterator insertIt)
	Trim the states that cannot be reached from the given BeliefState. More...
template<typename Fsm , typename StateIdInsertIterator >
void	Diades::Automata::Experimental::trimmingUnreachableStates (Fsm &machine, StateIdInsertIterator insertIt)
	Trim the states that cannot be reached from the initial states. More...
template<typename Fsm , typename BeliefStateIterator , typename StateIdInsertIterator >
bool	Diades::Automata::Experimental::trimmingDeadlockStates (Fsm &machine, BeliefStateIterator bfBegin, BeliefStateIterator bfEnd, StateIdInsertIterator insertIt)
	Trim the states are the source of a deadlock within a range of states. More...
template<typename Fsm , typename StateIdInsertIterator >
bool	Diades::Automata::Experimental::trimmingDeadlockStates (Fsm &machine, StateIdInsertIterator insertIt)
	Trim the states are the source of a deadlock. More...
template<typename Fsm , typename BeliefStateIterator , typename StateIdInsertIterator , typename DisableInsertIterator >
bool	Diades::Automata::Experimental::controlledTrimmingDeadlockState (Fsm &machine, ControlPattern< Fsm > &pattern, BeliefStateIterator bfBegin, BeliefStateIterator bfEnd, StateIdInsertIterator insertIt, DisableInsertIterator disableIt)
	remove deadlock states of the machine by exploiting the events that are disabled in the current ControlPattern. More...

Detailed Description

Set of functions that trim states/transitions from StateMachines.

Author

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

Date

18 April 2019, 21:18

Definition in file Trimming.hh.