Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
DefaultDoubleVIEnvironment Class Reference

Public Types

typedef double ValueType

Static Public Member Functions

static storm::Environment createEnvironment ()
static ValueType precision ()
static void adaptOptions (storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType > &)

Static Public Attributes

static bool const isExactModelChecking = false

Detailed Description

Definition at line 13 of file BeliefExplorationAPITest.cpp.

Member Typedef Documentation

◆ ValueType

typedef double DefaultDoubleVIEnvironment::ValueType

Definition at line 15 of file BeliefExplorationAPITest.cpp.

Member Function Documentation

◆ adaptOptions()

void DefaultDoubleVIEnvironment::adaptOptions ( storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType > & )
inlinestatic

Definition at line 26 of file BeliefExplorationAPITest.cpp.

◆ createEnvironment()

storm::Environment DefaultDoubleVIEnvironment::createEnvironment ( )
inlinestatic

Definition at line 16 of file BeliefExplorationAPITest.cpp.

◆ precision()

ValueType DefaultDoubleVIEnvironment::precision ( )
inlinestatic

Definition at line 23 of file BeliefExplorationAPITest.cpp.

Member Data Documentation

◆ isExactModelChecking

bool const DefaultDoubleVIEnvironment::isExactModelChecking = false
static

Definition at line 22 of file BeliefExplorationAPITest.cpp.

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