Insert.cc File Reference

This file implements the dd-insert command that is used to perform automata raw insertions. More...

#include <fstream>
#include <boost/program_options.hpp>
#include <diades/automata/experimental/AutFile.hh>
#include <diades/automata/experimental/DdAutFile.hh>
#include <diades/automata/experimental/StateMachine.hh>
#include <diades/automata/experimental/Synchronize.hh>
#include <diades/automata/experimental/DdAutFileDescriptor.hh>
#include "../AutomataInterface.hh"

Go to the source code of this file.

Functions
const string	program ("dd-insert")
const string	briefcomment (": this program gathers a set of automata as a unique automaton (raw insertion).")
void	initialiseOptions (int argc, char *argv[], Poptions::options_description &desc, Poptions::variables_map &vm)
size_t	insertAuts (const std::vector< std::string > &fileNames, const std::string &output)
size_t	insertDdAuts (const std::vector< std::string > &fileNames, const std::string &output)
size_t	insertFsms (const std::vector< std::string > &fileNames, const std::string &output)
int	main (int argc, char **argv)

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

Detailed Description

This file implements the dd-insert command that is used to perform automata raw insertions.

Author

Yannick Pencolé <yannick.pencole at laas.fr>

Date

22 August 2019, 21:57

Definition in file Insert.cc.

Function Documentation

briefcomment()

const string briefcomment

(

": this program gathers a set of automata as a unique automaton (raw insertion)."

)

Referenced by main().

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	the number of arguments in the command line
argv	the command line
desc	the option descriptor
vm	the program_option variable maps

Definition at line 48 of file Insert.cc.

References options().

Referenced by main().

insertAuts()

size_t insertAuts	(	const std::vector< std::string > &	fileNames,
		const std::string &	output
	)

Parameters

fileNames	the set of aut filenames
output	the name of the output file that will contain the result of the insertion

Returns

SUCCESS if success or ERROR_IN_COMMAND_LINE

Definition at line 82 of file Insert.cc.

References Diades::Automata::Experimental::fromAutFile(), Diades::Automata::Experimental::insertAutFsms(), Diades::CmdInterface::printCommandLineError(), suffixes, and Diades::CmdInterface::writeAut().

Referenced by insertFsms().

insertDdAuts()

size_t insertDdAuts	(	const std::vector< std::string > &	fileNames,
		const std::string &	output
	)

Parameters

fileNames	the set of ddaut filenames
output	the name of the output file that will contain the result of the insertion

Returns

SUCCESS if success or ERROR_IN_COMMAND_LINE

Definition at line 123 of file Insert.cc.

References Diades::Automata::Experimental::faFromDdAutFile(), Diades::Automata::Experimental::insertFiniteAutomata(), Diades::CmdInterface::printCommandLineError(), suffixes, and Diades::CmdInterface::writeFiniteAutomaton().

Referenced by insertFsms().

insertFsms()

size_t insertFsms	(	const std::vector< std::string > &	fileNames,
		const std::string &	output
	)

Load the files (aut/ddaut files) and performs the insertion of all of them into one unique automaton

Parameters

fileNames	the aut/ddaut files to load
output	the file to write (if empty, write on the standard output)

Returns

success code (SUCCESS or ERROR_COMMAND_LINE)

Definition at line 179 of file Insert.cc.

References ERROR_UNHANDLED_EXCEPTION, insertAuts(), insertDdAuts(), Diades::CmdInterface::FileSuffixes::match(), Diades::CmdInterface::printCommandLineError(), program(), suffixes, and toStream().

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 231 of file Insert.cc.

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

program()

const string program

(

"dd-insert"

)

Referenced by insertFsms(), and main().

Variable Documentation

suffixes

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

Referenced by insertAuts(), insertDdAuts(), and insertFsms().