storm-dft.cpp File Reference

#include "storm-dft/api/storm-dft.h"
#include "storm-cli-utilities/cli.h"
#include "storm-dft/parser/BEOrderParser.h"
#include "storm-dft/settings/DftSettings.h"
#include "storm-dft/settings/modules/DftGspnSettings.h"
#include "storm-dft/settings/modules/DftIOSettings.h"
#include "storm-dft/settings/modules/FaultTreeSettings.h"
#include "storm-parsers/api/storm-parsers.h"
#include "storm/exceptions/UnmetRequirementException.h"
#include "storm/settings/modules/GeneralSettings.h"
#include "storm/settings/modules/IOSettings.h"
#include "storm/settings/modules/ResourceSettings.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
template<typename ValueType >
void	processOptions ()
	Process commandline options and start computations.
void	process ()
int	main (const int argc, const char **argv)
	Entry point for Storm-DFT.

Function Documentation

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 267 of file storm-dft.cpp.

process()

void process

(

)

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

processOptions()

template<typename ValueType >

void processOptions

(

)

Process commandline options and start computations.

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