Public Member Functions
	Features (storm::jani::Model const &model, storm::jani::Property const &property)

std::string	toString () const

Public Attributes
bool	continuousTime

bool	nondeterminism

PropertyType	propertyType

uint64_t	numVariables

uint64_t	numAutomata

uint64_t	numEdges

uint64_t	stateDomainSize

uint64_t	stateEstimate

double	avgDomainSize

Detailed Description

Definition at line 33 of file AutomaticSettings.cpp.

Constructor & Destructor Documentation

◆ Features()

storm::utility::pfinternal::Features::Features	(	storm::jani::Model const &	model,
		storm::jani::Property const &	property
	)

inline

Definition at line 34 of file AutomaticSettings.cpp.

Member Function Documentation

◆ toString()

std::string storm::utility::pfinternal::Features::toString ( ) const

inline

Definition at line 47 of file AutomaticSettings.cpp.

Member Data Documentation

◆ avgDomainSize

double storm::utility::pfinternal::Features::avgDomainSize

Definition at line 84 of file AutomaticSettings.cpp.

◆ continuousTime

bool storm::utility::pfinternal::Features::continuousTime

Definition at line 76 of file AutomaticSettings.cpp.

◆ nondeterminism

bool storm::utility::pfinternal::Features::nondeterminism

Definition at line 77 of file AutomaticSettings.cpp.

◆ numAutomata

uint64_t storm::utility::pfinternal::Features::numAutomata

Definition at line 80 of file AutomaticSettings.cpp.

◆ numEdges

uint64_t storm::utility::pfinternal::Features::numEdges

Definition at line 81 of file AutomaticSettings.cpp.

◆ numVariables

uint64_t storm::utility::pfinternal::Features::numVariables

Definition at line 79 of file AutomaticSettings.cpp.

◆ propertyType

PropertyType storm::utility::pfinternal::Features::propertyType

Definition at line 78 of file AutomaticSettings.cpp.

◆ stateDomainSize

uint64_t storm::utility::pfinternal::Features::stateDomainSize

Definition at line 82 of file AutomaticSettings.cpp.

◆ stateEstimate

uint64_t storm::utility::pfinternal::Features::stateEstimate

Definition at line 83 of file AutomaticSettings.cpp.

The documentation for this struct was generated from the following file:

src/storm-cli-utilities/AutomaticSettings.cpp

Public Member Functions

Public Attributes