storm::ExplorationEnvironment Class Reference

#include <ExplorationEnvironment.h>

Public Member Functions
	ExplorationEnvironment ()
	~ExplorationEnvironment ()
	ExplorationEnvironment (ExplorationEnvironment const &other)
ExplorationEnvironment &	operator= (ExplorationEnvironment const &other)
storm::modelchecker::exploration_detail::PrecomputationType	getPrecomputationType () const
void	setPrecomputationType (storm::modelchecker::exploration_detail::PrecomputationType value)
uint64_t	getStepsUntilPrecomputation () const
void	setStepsUntilPrecomputation (uint64_t value)
std::optional< uint64_t > const &	getSampledPathsUntilPrecomputation () const
void	setSampledPathsUntilPrecomputation (uint64_t value)
void	unsetSampledPathsUntilPrecomputation ()
storm::modelchecker::exploration_detail::NextStateHeuristic	getNextStateHeuristic () const
void	setNextStateHeuristic (storm::modelchecker::exploration_detail::NextStateHeuristic value)
double	getPrecision () const
void	setPrecision (double value)

Detailed Description

Definition at line 10 of file ExplorationEnvironment.h.

Constructor & Destructor Documentation

ExplorationEnvironment() [1/2]

storm::ExplorationEnvironment::ExplorationEnvironment

(

)

Definition at line 8 of file ExplorationEnvironment.cpp.

~ExplorationEnvironment()

storm::ExplorationEnvironment::~ExplorationEnvironment

(

)

Definition at line 19 of file ExplorationEnvironment.cpp.

ExplorationEnvironment() [2/2]

storm::ExplorationEnvironment::ExplorationEnvironment ( ExplorationEnvironment const & other )

default

Member Function Documentation

getNextStateHeuristic()

storm::modelchecker::exploration_detail::NextStateHeuristic storm::ExplorationEnvironment::getNextStateHeuristic

(

)

const

Definition at line 55 of file ExplorationEnvironment.cpp.

getPrecision()

double storm::ExplorationEnvironment::getPrecision

(

)

const

Definition at line 63 of file ExplorationEnvironment.cpp.

getPrecomputationType()

storm::modelchecker::exploration_detail::PrecomputationType storm::ExplorationEnvironment::getPrecomputationType

(

)

const

Definition at line 27 of file ExplorationEnvironment.cpp.

getSampledPathsUntilPrecomputation()

std::optional< uint64_t > const & storm::ExplorationEnvironment::getSampledPathsUntilPrecomputation

(

)

const

Definition at line 43 of file ExplorationEnvironment.cpp.

getStepsUntilPrecomputation()

uint64_t storm::ExplorationEnvironment::getStepsUntilPrecomputation

(

)

const

Definition at line 35 of file ExplorationEnvironment.cpp.

operator=()

ExplorationEnvironment & storm::ExplorationEnvironment::operator= ( ExplorationEnvironment const & other )

default

setNextStateHeuristic()

void storm::ExplorationEnvironment::setNextStateHeuristic

(

storm::modelchecker::exploration_detail::NextStateHeuristic

value

)

Definition at line 59 of file ExplorationEnvironment.cpp.

setPrecision()

void storm::ExplorationEnvironment::setPrecision

(

double

value

)

Definition at line 67 of file ExplorationEnvironment.cpp.

setPrecomputationType()

void storm::ExplorationEnvironment::setPrecomputationType

(

storm::modelchecker::exploration_detail::PrecomputationType

value

)

Definition at line 31 of file ExplorationEnvironment.cpp.

setSampledPathsUntilPrecomputation()

void storm::ExplorationEnvironment::setSampledPathsUntilPrecomputation

(

uint64_t

value

)

Definition at line 47 of file ExplorationEnvironment.cpp.

setStepsUntilPrecomputation()

void storm::ExplorationEnvironment::setStepsUntilPrecomputation

(

uint64_t

value

)

Definition at line 39 of file ExplorationEnvironment.cpp.

unsetSampledPathsUntilPrecomputation()

void storm::ExplorationEnvironment::unsetSampledPathsUntilPrecomputation

(

)

Definition at line 51 of file ExplorationEnvironment.cpp.

---

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

• src/storm/environment/exploration/ExplorationEnvironment.h
• src/storm/environment/exploration/ExplorationEnvironment.cpp