storm::utility::AutomaticSettings Class Reference

#include <AutomaticSettings.h>

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

AutomaticSettings()

storm::utility::AutomaticSettings::AutomaticSettings

(

)

Definition at line 89 of file AutomaticSettings.cpp.

Member Function Documentation

enableBisimulation()

bool storm::utility::AutomaticSettings::enableBisimulation

(

)

const

Definition at line 233 of file AutomaticSettings.cpp.

enableExact()

bool storm::utility::AutomaticSettings::enableExact

(

)

const

Definition at line 237 of file AutomaticSettings.cpp.

getEngine()

storm::utility::Engine storm::utility::AutomaticSettings::getEngine

(

)

const

Retrieve "good" settings after calling predict.

Definition at line 227 of file AutomaticSettings.cpp.

predict() [1/2]

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 93 of file AutomaticSettings.cpp.

predict() [2/2]

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 217 of file AutomaticSettings.cpp.

---

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

• src/storm/utility/AutomaticSettings.h
• src/storm/utility/AutomaticSettings.cpp