storm-gspn.cpp File Reference

#include "storm-gspn/api/storm-gspn.h"
#include "storm-gspn/builder/ExplicitGspnModelBuilder.h"
#include "storm-gspn/builder/JaniGSPNBuilder.h"
#include "storm-gspn/parser/GspnParser.h"
#include "storm-gspn/storage/gspn/GSPN.h"
#include "storm-gspn/storage/gspn/GspnBuilder.h"
#include "storm/utility/initialize.h"
#include "storm/utility/macros.h"
#include "storm/api/storm.h"
#include "storm-cli-utilities/cli.h"
#include "storm-parsers/api/storm-parsers.h"
#include "storm-parsers/parser/FormulaParser.h"
#include <fstream>
#include <iostream>
#include <string>
#include "storm/storage/expressions/ExpressionManager.h"
#include "storm/storage/jani/Model.h"
#include "storm/storage/jani/visitor/JSONExporter.h"
#include <boost/algorithm/string.hpp>
#include "storm/exceptions/FileIoException.h"
#include "storm-conv/settings/modules/JaniExportSettings.h"
#include "storm-gspn/settings/modules/GSPNExportSettings.h"
#include "storm-gspn/settings/modules/GSPNSettings.h"
#include "storm/settings/modules/CoreSettings.h"
#include "storm/settings/modules/DebugSettings.h"
#include "storm/settings/modules/GeneralSettings.h"
#include "storm/settings/modules/IOSettings.h"
#include "storm/settings/modules/ResourceSettings.h"

Include dependency graph for storm-gspn.cpp:

Go to the source code of this file.

Functions
void	initializeSettings (std::string const &name, std::string const &executableName)
	Initialize the settings manager.
void	processOptions ()
int	main (const int argc, const char **argv)

Function Documentation

initializeSettings()

void initializeSettings	(	std::string const &	name,
		std::string const &	executableName )

Initialize the settings manager.

Definition at line 41 of file storm-gspn.cpp.

main()

int main	(	const int	argc,
		const char **	argv )

Definition at line 107 of file storm-gspn.cpp.

processOptions()

void processOptions

(

)

Definition at line 55 of file storm-gspn.cpp.