ControlPattern.hh File Reference

This file implements the control patterns of Ramadge and Wonham. More...

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

Go to the source code of this file.

Classes
class	Diades::Automata::Experimental::ControlPattern< Fsm >
	A control pattern is a mapping between the set of Events of a StateMachine and a Boolean. More...

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

Detailed Description

This file implements the control patterns of Ramadge and Wonham.

Author

Yannick Pencole, ypenc.nosp@m.ole@.nosp@m.laas..nosp@m.fr, LAAS-CNRS, Univ. Toulouse, FRANCE

Created on 01 April 2020, 13:58

Definition in file ControlPattern.hh.