storm-dft.cpp File Reference

#include "storm-cli-utilities/cli.h"
#include "storm-conv/api/storm-conv.h"
#include "storm-conv/settings/modules/JaniExportSettings.h"
#include "storm-dft-cli/settings/modules/DftGspnSettings.h"
#include "storm-dft-cli/settings/modules/DftIOSettings.h"
#include "storm-dft-cli/settings/modules/FaultTreeSettings.h"
#include "storm-dft/api/analysis.h"
#include "storm-dft/api/gspn_transformation.h"
#include "storm-dft/api/io.h"
#include "storm-dft/api/transformation.h"
#include "storm-dft/environment/AnalysisEnvironment.h"
#include "storm-dft/environment/DftEnvironment.h"
#include "storm-dft/environment/ModelBuilderEnvironment.h"
#include "storm-dft/environment/TransformationEnvironment.h"
#include "storm-dft/parser/BEOrderParser.h"
#include "storm-dft/settings/DftSettings.h"
#include "storm-gspn/api/storm-gspn.h"
#include "storm-gspn/settings/modules/GSPNExportSettings.h"
#include "storm-parsers/api/properties.h"
#include "storm/adapters/RationalFunctionAdapter.h"
#include "storm/api/export.h"
#include "storm/api/properties.h"
#include "storm/exceptions/UnmetRequirementException.h"
#include "storm/settings/EnvironmentBuilder.h"
#include "storm/settings/SettingsManager.h"
#include "storm/settings/modules/GeneralSettings.h"
#include "storm/settings/modules/IOSettings.h"
#include "storm/settings/modules/TransformationSettings.h"
#include "storm/utility/initialize.h"

Include dependency graph for storm-dft.cpp:

Go to the source code of this file.

Functions
storm::dft::DftEnvironment	createDftEnvironmentFromSettings ()
	Create the DFT environment from the commandline arguments.
template<typename ValueType>
void	processOptions ()
	Process commandline options and start computations.
void	process ()
void	initializeDftCliSettings (std::string const &name, std::string const &executableName)
	Register the settings modules relevant for the Storm-DFT CLI.
int	main (const int argc, const char **argv)
	Entry point for Storm-DFT.

Function Documentation

createDftEnvironmentFromSettings()

storm::dft::DftEnvironment createDftEnvironmentFromSettings

(

)

Create the DFT environment from the commandline arguments.

Definition at line 34 of file storm-dft.cpp.

initializeDftCliSettings()

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

Register the settings modules relevant for the Storm-DFT CLI.

Definition at line 355 of file storm-dft.cpp.

main()

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

Entry point for Storm-DFT.

Parameters

argc	The argc argument of main().
argv	The argv argument of main().

Returns

Return code, 0 if successful, > 0 otherwise.

Definition at line 369 of file storm-dft.cpp.

process()

void process

(

)

Definition at line 340 of file storm-dft.cpp.

processOptions()

template<typename ValueType>

void processOptions

(

)

Process commandline options and start computations.

Definition at line 82 of file storm-dft.cpp.