CheckAccuracy.cc File Reference

#include <set>
#include <sstream>
#include <utils/Log.hh>
#include <utils/Verbose.hh>
#include <utils/StringTools.hh>
#include <utils/Exceptions.hh>
#include <automata/Topology.hh>
#include <automata/ObservableComponent.hh>
#include <automata/ConnectionMap.hh>
#include <automata/SubConfiguration.hh>
#include <automata/Accuracy.hh>

Go to the source code of this file.

Enumerations
enum	Parameter { NOPARAMETER, VERBOSE, DEPTH }

Functions
void	generateLatexPreamble (ofstream &latexfile)
void	generateLatexEpilog (ofstream &latexfile)
void	printUsage ()
void	getInterface (int argc, char **argv, Diades::Utils::Identifier &component, Diades::Utils::Identifier &event, string &topologyFile, string &topologyMapFile, string &subconfigurationFile, int &depth, VerboseLevel &level)
int	main (int argc, char **argv)

Enumeration Type Documentation

Parameter

enum Parameter

Enumerator
NOPARAMETER
VERBOSE
DEPTH

Definition at line 16 of file CheckAccuracy.cc.

Function Documentation

generateLatexEpilog()

void generateLatexEpilog

(

ofstream &

latexfile

)

Write the end of the latex file

Parameters

latexfile

LaTeX file stream

Definition at line 39 of file CheckAccuracy.cc.

Referenced by main().

generateLatexPreamble()

void generateLatexPreamble

(

ofstream &

latexfile

)

Definition at line 23 of file CheckAccuracy.cc.

Referenced by main().

getInterface()

void getInterface	(	int	argc,
		char **	argv,
		Diades::Utils::Identifier &	component,
		Diades::Utils::Identifier &	event,
		string &	topologyFile,
		string &	topologyMapFile,
		string &	subconfigurationFile,
		int &	depth,
		VerboseLevel &	level
	)

Definition at line 63 of file CheckAccuracy.cc.

References DEPTH, Diades::Utils::getFileExtension(), NOPARAMETER, printUsage(), Diades::Utils::VbDebug, Diades::Utils::VbInfo, and VERBOSE.

Referenced by main().

main()

int main	(	int	argc,
		char **	argv
	)

Definition at line 229 of file CheckAccuracy.cc.

References Diades::Automata::checkSubconfigurationAccuracy(), Diades::Automata::SubConfiguration::componentBegin(), Diades::Automata::SubConfiguration::componentEnd(), Diades::Automata::Topology::connectionBegin(), Diades::Automata::Topology::connectionEnd(), Diades::Automata::SubConfiguration::effectiveConnectionBegin(), Diades::Automata::SubConfiguration::effectiveConnectionEnd(), Diades::Automata::ConnectionMap::eventBegin(), Diades::Automata::ConnectionMap::eventEnd(), Diades::Automata::SubConfiguration::externalConnectionBegin(), Diades::Automata::SubConfiguration::externalConnectionEnd(), Diades::Automata::EventFactory::factory(), generateLatexEpilog(), generateLatexPreamble(), Diades::Automata::Topology::getConnectionLabel(), Diades::Automata::TopologyMap::getConnectionMap(), Diades::Automata::EventFactory::getEvent(), getInterface(), Diades::Automata::Topology::getNodeName(), Diades::Automata::Topology::import(), Diades::Automata::TopologyMap::importMap(), Diades::Automata::SubConfiguration::importSubConf(), Diades::Automata::SubConfiguration::isMaximal(), Diades::Automata::Event::label(), Diades::Automata::TopologyMap::mapComponentToNode(), Diades::Automata::Topology::nodeBegin(), Diades::Automata::Topology::nodeEnd(), Diades::Automata::SubConfiguration::numberOfComponents(), Diades::Automata::Topology::numberOfConnections(), Diades::Automata::SubConfiguration::numberOfEffectiveConnections(), Diades::Automata::SubConfiguration::numberOfExternalConnections(), Diades::Automata::Topology::numberOfNodes(), Diades::Automata::SubConfiguration::numberOfRelaxedConnections(), Diades::Automata::SubConfiguration::relaxedConnectionBegin(), Diades::Automata::SubConfiguration::relaxedConnectionEnd(), Diades::Automata::SubConfiguration::root(), Diades::Utils::saveLog(), setVerboseLevel(), Diades::Utils::Identifier::str(), toStream(), and Diades::Utils::VbOutput.

printUsage()

void printUsage

(

)

Definition at line 46 of file CheckAccuracy.cc.

Referenced by getInterface().