DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <cstdlib>
#include <iostream>
#include <fstream>
#include <regex>
#include <boost/program_options.hpp>
#include <diades/automata/experimental/AutFile.hh>
#include <diades/automata/experimental/DdAutFile.hh>
#include <diades/automata/experimental/DdAutFileDescriptor.hh>
#include <diades/automata/experimental/Printer.hh>
#include <diades/automata/experimental/StateMachine.hh>
#include <diades/automata/experimental/Determine.hh>
#include <diades/automata/experimental/Minimize.hh>
#include "../AutomataInterface.hh"
Go to the source code of this file.
Functions | |
const string | program ("dd-minimize") |
void | initialiseOptions (int argc, char *argv[], Poptions::options_description &desc, Poptions::variables_map &vm) |
size_t | minimizeAut (const std::string &fileName, const std::string &output) |
size_t | minimizeDdaut (const std::string &fileName, const std::string &output) |
size_t | minimizeFsm (const std::string &fileName, const std::string &output) |
int | main (int argc, char **argv) |
Variables | |
FileSuffixes | suffixes ({"aut", "ddaut"}) |
void initialiseOptions | ( | int | argc, |
char * | argv[], | ||
Poptions::options_description & | desc, | ||
Poptions::variables_map & | vm | ||
) |
Initialise the options of the command present in the command line
argc | |
argv | |
desc | |
vm |
Definition at line 53 of file Minimize.cc.
References options().
Referenced by main().
int main | ( | int | argc, |
char ** | argv | ||
) |
Main file of the dd-determine command
argc | |
argv |
Definition at line 256 of file Minimize.cc.
References initialiseOptions(), minimizeFsm(), Diades::CmdInterface::printCommandLineError(), printUsage(), and program().
size_t minimizeAut | ( | const std::string & | fileName, |
const std::string & | output | ||
) |
Load the file (aut file) and make the automaton minimal (low-level) and print on the output
fileName | aut file to load |
output | the file to write (if empty, write on the standard output) |
Definition at line 82 of file Minimize.cc.
References Diades::Automata::Experimental::determine(), Diades::Automata::Experimental::fromAutFile(), Diades::Automata::Experimental::isDeterministic(), Diades::Automata::Experimental::minimize(), Diades::CmdInterface::printCommandLineError(), suffixes, and Diades::CmdInterface::writeAut().
Referenced by minimizeFsm().
size_t minimizeDdaut | ( | const std::string & | fileName, |
const std::string & | output | ||
) |
Load the file (ddaut file) and make the automaton minimal and print on the output
fileName | ddaut file to load |
output | the file to write (if empty, write on the standard output, can be aut or ddaut file) |
Definition at line 132 of file Minimize.cc.
References Diades::Automata::Experimental::DdAutFileDescriptor::acceptorBegin(), Diades::Automata::Experimental::DdAutFileDescriptor::acceptorEnd(), Diades::Automata::Experimental::determine(), Diades::Automata::Experimental::faFromDescriptor(), Diades::Automata::Experimental::fsmFromDescriptor(), Diades::Automata::Experimental::isDeterministic(), Diades::Automata::Experimental::minimize(), Diades::CmdInterface::printCommandLineError(), Diades::Automata::Experimental::DdAutFileDescriptor::readStream(), suffixes, Diades::CmdInterface::writeFiniteAutomaton(), and Diades::CmdInterface::writeFiniteStateMachine().
Referenced by minimizeFsm().
size_t minimizeFsm | ( | const std::string & | fileName, |
const std::string & | output | ||
) |
Load the file (aut file) and make the automaton minimal (low-level) and print on the output
fileName | aut file to load |
output | the file to write (if empty, write on the standard output) |
Definition at line 228 of file Minimize.cc.
References ERROR_UNHANDLED_EXCEPTION, Diades::CmdInterface::FileSuffixes::match(), minimizeAut(), minimizeDdaut(), Diades::CmdInterface::printCommandLineError(), and suffixes.
Referenced by main().
const string program | ( | "dd-minimize" | ) |
Referenced by main().
FileSuffixes suffixes({"aut", "ddaut"}) |
Referenced by minimizeAut(), minimizeDdaut(), and minimizeFsm().