storm::pomdp::MemlessSearchOptions Class Reference

#include <IterativePolicySearch.h>

Public Member Functions
void	setExportSATCalls (std::string const &path)
std::string const &	getExportSATCallsPath () const
bool	isExportSATSet () const
void	setDebugLevel (uint64_t level=1)
bool	computeInfoOutput () const
bool	computeDebugOutput () const
bool	computeTraceOutput () const

Public Attributes
bool	onlyDeterministicStrategies = false
bool	forceLookahead = false
bool	validateEveryStep = false
bool	validateResult = false
MemlessSearchPathVariables	pathVariableType = MemlessSearchPathVariables::RealRanking
uint64_t	restartAfterNIterations = 250
uint64_t	extensionCallTimeout = 0u
uint64_t	localIterationMaximum = 600

Detailed Description

Definition at line 28 of file IterativePolicySearch.h.

Member Function Documentation

computeDebugOutput()

bool storm::pomdp::MemlessSearchOptions::computeDebugOutput ( ) const

inline

Definition at line 50 of file IterativePolicySearch.h.

computeInfoOutput()

bool storm::pomdp::MemlessSearchOptions::computeInfoOutput ( ) const

inline

Definition at line 46 of file IterativePolicySearch.h.

computeTraceOutput()

bool storm::pomdp::MemlessSearchOptions::computeTraceOutput ( ) const

inline

Definition at line 54 of file IterativePolicySearch.h.

getExportSATCallsPath()

std::string const & storm::pomdp::MemlessSearchOptions::getExportSATCallsPath ( ) const

inline

Definition at line 34 of file IterativePolicySearch.h.

isExportSATSet()

bool storm::pomdp::MemlessSearchOptions::isExportSATSet ( ) const

inline

Definition at line 38 of file IterativePolicySearch.h.

setDebugLevel()

void storm::pomdp::MemlessSearchOptions::setDebugLevel ( uint64_t  level = 1 )

inline

Definition at line 42 of file IterativePolicySearch.h.

setExportSATCalls()

void storm::pomdp::MemlessSearchOptions::setExportSATCalls ( std::string const &  path )

inline

Definition at line 30 of file IterativePolicySearch.h.

Member Data Documentation

extensionCallTimeout

uint64_t storm::pomdp::MemlessSearchOptions::extensionCallTimeout = 0u

Definition at line 64 of file IterativePolicySearch.h.

forceLookahead

bool storm::pomdp::MemlessSearchOptions::forceLookahead = false

Definition at line 59 of file IterativePolicySearch.h.

localIterationMaximum

uint64_t storm::pomdp::MemlessSearchOptions::localIterationMaximum = 600

Definition at line 65 of file IterativePolicySearch.h.

onlyDeterministicStrategies

bool storm::pomdp::MemlessSearchOptions::onlyDeterministicStrategies = false

Definition at line 58 of file IterativePolicySearch.h.

pathVariableType

MemlessSearchPathVariables storm::pomdp::MemlessSearchOptions::pathVariableType = MemlessSearchPathVariables::RealRanking

Definition at line 62 of file IterativePolicySearch.h.

restartAfterNIterations

uint64_t storm::pomdp::MemlessSearchOptions::restartAfterNIterations = 250

Definition at line 63 of file IterativePolicySearch.h.

validateEveryStep

bool storm::pomdp::MemlessSearchOptions::validateEveryStep = false

Definition at line 60 of file IterativePolicySearch.h.

validateResult

bool storm::pomdp::MemlessSearchOptions::validateResult = false

Definition at line 61 of file IterativePolicySearch.h.

---

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

• src/storm-pomdp/analysis/IterativePolicySearch.h