StateMachine.hh File Reference

#include <unordered_set>
#include <unordered_map>
#include <set>
#include <tuple>
#include <diades/utils/Pointer.hh>
#include <diades/utils/Exceptions.hh>
#include <diades/utils/Assertion.hh>
#include <diades/utils/VectorTools.hh>
#include <diades/utils/Iterator.hh>
#include <diades/utils/NullValue.hh>
#include <diades/graph/Graph.hh>
#include <diades/graph/NodeMap.hh>
#include <diades/graph/EdgeMap.hh>
#include <diades/graph/ConstNodeMap.hh>
#include <diades/graph/ConstEdgeMap.hh>

Go to the source code of this file.

Classes
class	Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >
class	Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >
class	Diades::Automata::Experimental::StateMachine< _StatePropertyId, _EventPropertyId, _NullStatePropertyId, _NullEventPropertyId >::GetStatePropertyId< _Iterator >

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

Typedefs
using	Diades::Automata::Experimental::StatePropertyIdAsSizeT = size_t
template<typename Type >
using	Diades::Automata::Experimental::CstStMap = Diades::Graph::ConstNodeMap< Type >
template<typename Type >
using	Diades::Automata::Experimental::StMap = Diades::Graph::NodeMap< Type >
template<typename Type >
using	Diades::Automata::Experimental::CstTrMap = Diades::Graph::ConstEdgeMap< Type >
template<typename Type >
using	Diades::Automata::Experimental::TrMap = Diades::Graph::EdgeMap< Type >

Functions
template<typename StatePropertyId , typename EventPropertyId , typename InputIterator , typename NullStateProperty , typename NullEventProperty >
void	Diades::Automata::Experimental::deleteTransition (StateMachine< StatePropertyId, EventPropertyId, NullStateProperty, NullEventProperty > &m, InputIterator first, InputIterator last)
template<typename StatePropertyId , typename EventPropertyId , typename InputIterator , typename NullStateProperty , typename NullEventProperty >
void	Diades::Automata::Experimental::deleteState (StateMachine< StatePropertyId, EventPropertyId, NullStateProperty, NullEventProperty > &m, InputIterator first, InputIterator last)
template<typename StatePropertyId , typename EventPropertyId , typename InputIterator , typename Predicate , typename NullStatePropertyId = NullValue<StatePropertyId>, typename NullEventPropertyId >
void	Diades::Automata::Experimental::deleteState (StateMachine< StatePropertyId, EventPropertyId, NullStatePropertyId, NullEventPropertyId > &m, InputIterator first, InputIterator last, Predicate pred)
template<typename StatePropertyId , typename EventPropertyId , typename InputIterator , typename IsNullStatePropertyId , typename IsNullEventProperty >
void	Diades::Automata::Experimental::deleteTransition (StateMachine< StatePropertyId, EventPropertyId, IsNullStatePropertyId, IsNullEventProperty > &m, InputIterator first, InputIterator last)
template<typename StatePropertyId , typename EventPropertyId , typename InputIterator , typename IsNullStateProperty , typename IsNullEventProperty >
void	Diades::Automata::Experimental::deleteState (StateMachine< StatePropertyId, EventPropertyId, IsNullStateProperty, IsNullEventProperty > &m, InputIterator first, InputIterator last)
template<typename StatePropertyId , typename EventPropertyId , typename InputIterator , typename Predicate , typename IsNullStateProperty , typename IsNullEventProperty >
void	Diades::Automata::Experimental::deleteState (StateMachine< StatePropertyId, EventPropertyId, IsNullStateProperty, IsNullEventProperty > &m, InputIterator first, InputIterator last, Predicate pred)
template<typename StatePropertyId , typename EventPropertyId , typename InputIterator , typename Predicate , typename IsNullStateProperty , typename IsNullEventProperty , typename StatePropertyIdInsertIterator >
void	Diades::Automata::Experimental::deleteState (StateMachine< StatePropertyId, EventPropertyId, IsNullStateProperty, IsNullEventProperty > &m, InputIterator first, InputIterator last, Predicate pred, StatePropertyIdInsertIterator insertIt)