#include <iostream>
#include <fstream>
#include <list>
#include <string>
#include <set>
#include <boost/date_time/posix_time/posix_time.hpp>
#include <diades/utils/Exceptions.hh>
#include <diades/automata/Event.hh>
#include <diades/automata/ObservableComponent.hh>
#include <diades/automata/ClassicalDiagnoser.hh>
#include <diades/automata/SyncRulesLoad.hh>
#include "FaultDiagnosis.hh"

Functions
void	printUsage ()

void	readParameters (int argc, char *argv[], list< string > &modelFiles)

string	getSuffix (const string &name)

void	synchroniseModels (vector< const ObservableComponent *> &components, const ParametrizedSynchronisation &rules)

int	main (int argc, char *argv[])

Detailed Description

This file is the main file of the command dd-global-model.

Usage: global_model file1.des_comp file2.des_comp  [file3.des_comp...] sync.rules

Compute the global model resulting from the synchronised product of the components

Definition in file GlobalModel.cc.

Function Documentation

◆ getSuffix()

string getSuffix ( const string & name )

Definition at line 149 of file GlobalModel.cc.

Referenced by readParameters().

◆ main()

int main	(	int	argc,
		char *	argv[]
	)

Definition at line 41 of file GlobalModel.cc.

References Diades::Utils::LoggerFactory::destroy(), Diades::Automata::Event::destroyEvents(), Diades::Automata::Component::importDesCompModel(), Diades::Automata::loadSynchronisationRules(), Diades::Automata::Component::name(), readParameters(), Diades::Utils::saveLog(), and synchroniseModels().

◆ printUsage()

void printUsage ( )

Definition at line 108 of file GlobalModel.cc.

Referenced by readParameters().

◆ readParameters()

void readParameters	(	int	argc,
		char *	argv[],
		list< string > &	modelFiles
	)

Definition at line 116 of file GlobalModel.cc.

References getSuffix(), printUsage(), setVerboseLevel(), and Diades::Utils::VbProcess.

Referenced by main().

◆ synchroniseModels()

void synchroniseModels	(	vector< const ObservableComponent *> &	components,
		const ParametrizedSynchronisation &	rules
	)

Definition at line 159 of file GlobalModel.cc.

References Diades::Automata::ObservableComponent::exportDesCompModel(), Diades::Automata::Component::name(), and Diades::Automata::ObservableComponent::setMask().