storm-conv.cpp File Reference

#include "storm-conv/api/storm-conv.h"
#include "storm-conv/settings/ConvSettings.h"
#include "storm-conv/settings/modules/ConversionGeneralSettings.h"
#include "storm-conv/settings/modules/ConversionInputSettings.h"
#include "storm-conv/settings/modules/ConversionOutputSettings.h"
#include "storm-conv/settings/modules/JaniExportSettings.h"
#include "storm-conv/settings/modules/PrismExportSettings.h"
#include "storm/settings/SettingsManager.h"
#include "storm-parsers/api/storm-parsers.h"
#include "storm/api/storm.h"
#include "storm/utility/Stopwatch.h"
#include "storm/utility/initialize.h"
#include "storm/utility/macros.h"
#include "storm/storage/SymbolicModelDescription.h"
#include "storm/storage/jani/Model.h"
#include "storm/storage/jani/Property.h"
#include "storm-cli-utilities/cli.h"
#include "storm-cli-utilities/print.h"
#include "storm/exceptions/OptionParserException.h"

Include dependency graph for storm-conv.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::conv

Functions
void	storm::conv::setUrgentOptions ()
storm::utility::Stopwatch	storm::conv::startStopwatch (std::string const &message)
void	storm::conv::stopStopwatch (storm::utility::Stopwatch &stopWatch)
void	storm::conv::processPrismInputJaniOutput (storm::prism::Program const &prismProg, std::vector< storm::jani::Property > const &properties)
void	storm::conv::processPrismInputPrismOutput (storm::prism::Program const &prismProg, std::vector< storm::jani::Property > const &properties)
void	storm::conv::processPrismInput ()
void	storm::conv::processJaniInputJaniOutput (storm::jani::Model const &janiModel, std::vector< storm::jani::Property > const &properties)
void	storm::conv::processJaniInput ()
void	storm::conv::processOptions ()
bool	parseOptions (const int argc, const char *argv[])
int	main (const int argc, const char **argv)
	Main entry point of the executable storm-conv.

Function Documentation

main()

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

Main entry point of the executable storm-conv.

Definition at line 346 of file storm-conv.cpp.

parseOptions()

bool parseOptions	(	const int	argc,
		const char *	argv[]
	)

Definition at line 313 of file storm-conv.cpp.