Accuracy.hh File Reference

#include <string>
#include <set>
#include "Event.hh"
#include "ObservableComponent.hh"
#include "ConnectionMap.hh"
#include "SubConfiguration.hh"

Go to the source code of this file.

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

Functions
void	Diades::Automata::checkAccuracy (const ObservableComponent &component, const set< Event > &faults, const set< Event > &interactives, string &information, bool &result, set< set< Event > > &minimalCombinations, int depth)
void	Diades::Automata::checkSubconfigurationAccuracy (const TopologyMap &topology, const SubConfiguration &subConfiguration, const set< Event > &events, string &information, bool &result, set< set< Event > > &minimalCombinations, int depth, ofstream &toLatex)