Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
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: