SubConfiguration.hh File Reference

#include <iosfwd>
#include <unordered_set>
#include <diades/utils/Exceptions.hh>
#include <diades/graph/NodeMap.hh>
#include <diades/automata/Event.hh>
#include <diades/automata/ObservableComponent.hh>
#include <diades/automata/Topology.hh>
#include <diades/automata/ConnectionMap.hh>
#include <diades/automata/TopologyMap.hh>

Go to the source code of this file.

Classes
class	Diades::Automata::SubConfiguration

Namespaces
	Diades
	Namespace of the Diades project.
	Diades::Automata
	Diades::Graph
	Namespace of the Graph library (libGraph)

Functions
ostream &	Diades::Automata::operator<< (ostream &os, const SubConfiguration &subconf)
const ObservableComponent *	Diades::Automata::getNonRelaxedBehaviour (const SubConfiguration &subConfig, const TopologyMap &wholeSystem, set< Event > &observationEvents, set< Event > &externalEvents, set< Event > &effectiveEvents, SynchronisationRules **rules)
void	Diades::Automata::getBehaviour (const SubConfiguration &subConfig, const TopologyMap &wholeSystem, set< Event > &observationEvents, set< Event > &externalEvents, set< Event > &effectiveEvents, set< Event > &relaxedEvents, set< Event > &relaxedSynchronisedEvents, ObservableComponent **component, SynchronisationRules **rules)
template<>
void	Diades::Graph::printDot< Diades::Automata::SubConfiguration > (ostream &os, const Diades::Automata::SubConfiguration &subConf)