DiaDes
0.1
DIAgnosis of Discrete-Event System
|
file of the command history_compare
More...
#include <vector>
#include <string>
#include <fstream>
#include <utils/CmdInterface.hh>
#include <automata/History.hh>
Go to the source code of this file.
Functions | |
vector< string > | fileExtensions (numberOfFileExtensions) |
vector< string > | options (numberOfOptions) |
vector< bool > | isSet (numberOfOptions, false) |
void | initialiseOptions () |
void | makeComparison (const History &history1, const History &history2, const string &prefix) |
int | main (int argc, char *argv[]) |
Variables | |
unsigned | numberOfOptions = 1 |
unsigned | numberOfFileExtensions = 1 |
string | description ="Usage:\t history_compare --help\n\t history_compare hist1.archv hist2.archv\n\n\t Produce a set of data files with the evolution of performance indicators through the histories." |
file of the command history_compare
Usage: history_compare --help history_compare hist1.archv hist2.archv Produce a set of data files with the evolution of performance indicators through the histories.
Definition in file HistoryCompare.cc.
enum FileExtension |
Enumerator | |
---|---|
DESCOMP | |
DESCOMP | |
RULES | |
DESCOMP | |
DESCOMP | |
RULES | |
XML | |
ABSTRACTION | |
DIAGNOSER | |
DESCOMP | |
ARCHV | |
DESCOMP | |
RULES | |
XML | |
DESCOMP | |
RULES | |
XML | |
RULES |
Definition at line 26 of file HistoryCompare.cc.
enum Option |
Definition at line 25 of file HistoryCompare.cc.
vector<string> fileExtensions | ( | numberOfFileExtensions | ) |
Referenced by initialiseOptions(), and main().
void initialiseOptions | ( | ) |
Definition at line 37 of file HistoryCompare.cc.
References ARCHV, fileExtensions(), HELP, makeComparison(), and options().
Referenced by main().
vector<bool> isSet | ( | numberOfOptions | , |
false | |||
) |
Referenced by main().
int main | ( | int | argc, |
char * | argv[] | ||
) |
Definition at line 46 of file HistoryCompare.cc.
References description, fileExtensions(), Diades::Utils::getFileExtension(), HELP, initialiseOptions(), Diades::Automata::History::initialTimePoint(), isSet(), makeComparison(), options(), printError(), printUsage(), Diades::Automata::History::publishDiagnosis(), setVerboseLevel(), and Diades::Utils::VbOutput.
Definition at line 189 of file HistoryCompare.cc.
References Diades::Automata::historyCompare(), and Diades::Automata::History::initialTimePoint().
Referenced by initialiseOptions(), and main().
vector<string> options | ( | numberOfOptions | ) |
Referenced by initialiseOptions(), and main().
string description ="Usage:\t history_compare --help\n\t history_compare hist1.archv hist2.archv\n\n\t Produce a set of data files with the evolution of performance indicators through the histories." |
Definition at line 34 of file HistoryCompare.cc.
Referenced by main().
unsigned numberOfFileExtensions = 1 |
Definition at line 28 of file HistoryCompare.cc.
unsigned numberOfOptions = 1 |
Definition at line 27 of file HistoryCompare.cc.