Public Member Functions
	AutomaticSettings ()

void	predict (storm::jani::Model const &model, storm::jani::Property const &property)
	Predicts "good" settings for the provided model checking query.

void	predict (storm::jani::Model const &model, storm::jani::Property const &property, uint64_t stateEstimate)
	Predicts "good" settings for the provided model checking query.

storm::utility::Engine	getEngine () const
	Retrieve "good" settings after calling predict.

bool	enableBisimulation () const

bool	enableExact () const

Detailed Description

Definition at line 13 of file AutomaticSettings.h.

Constructor & Destructor Documentation

storm::utility::AutomaticSettings::AutomaticSettings ( )

Definition at line 88 of file AutomaticSettings.cpp.

bool storm::utility::AutomaticSettings::enableBisimulation ( ) const

Definition at line 232 of file AutomaticSettings.cpp.

bool storm::utility::AutomaticSettings::enableExact ( ) const

Definition at line 236 of file AutomaticSettings.cpp.

storm::utility::Engine storm::utility::AutomaticSettings::getEngine ( ) const

Retrieve "good" settings after calling predict.

Definition at line 226 of file AutomaticSettings.cpp.

void storm::utility::AutomaticSettings::predict	(	storm::jani::Model const &	model,
		storm::jani::Property const &	property
	)

Predicts "good" settings for the provided model checking query.

Definition at line 92 of file AutomaticSettings.cpp.

void storm::utility::AutomaticSettings::predict	(	storm::jani::Model const &	model,
		storm::jani::Property const &	property,
		uint64_t	stateEstimate
	)

Predicts "good" settings for the provided model checking query.

Parameters

stateEstimate A hint that gives a (rough) estimate for the number of states.

Definition at line 216 of file AutomaticSettings.cpp.

The documentation for this class was generated from the following files: