DiaDes  0.1
DIAgnosis of Discrete-Event System
Functions | Variables
Minimize.cc File Reference
#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"})
 

Function Documentation

◆ initialiseOptions()

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

Parameters
argc
argv
desc
vm

Definition at line 53 of file Minimize.cc.

References options().

Referenced by main().

◆ main()

int main ( int  argc,
char **  argv 
)

Main file of the dd-determine command

Parameters
argc
argv
Returns
success code (SUCCESS or ERROR_COMMAND_LINE)

Definition at line 256 of file Minimize.cc.

References initialiseOptions(), minimizeFsm(), Diades::CmdInterface::printCommandLineError(), printUsage(), and program().

◆ minimizeAut()

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

Parameters
fileNameaut file to load
outputthe file to write (if empty, write on the standard output)
Returns
success code (SUCCESS or ERROR_COMMAND_LINE)

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().

◆ minimizeDdaut()

size_t minimizeDdaut ( const std::string &  fileName,
const std::string &  output 
)

◆ 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

Parameters
fileNameaut file to load
outputthe file to write (if empty, write on the standard output)
Returns
success code (SUCCESS or ERROR_COMMAND_LINE)

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().

◆ program()

const string program ( "dd-minimize"  )

Referenced by main().

Variable Documentation

◆ suffixes

FileSuffixes suffixes({"aut", "ddaut"})