Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Types | Static Public Member Functions | Static Public Attributes | List of all members
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 14 of file BeliefExplorationAPITest.cpp.

Member Typedef Documentation

◆ ValueType

typedef double DefaultDoubleVIEnvironment::ValueType

Definition at line 16 of file BeliefExplorationAPITest.cpp.

Member Function Documentation

◆ adaptOptions()

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

Definition at line 27 of file BeliefExplorationAPITest.cpp.

◆ createEnvironment()

static storm::Environment DefaultDoubleVIEnvironment::createEnvironment ( )
inlinestatic

Definition at line 17 of file BeliefExplorationAPITest.cpp.

◆ precision()

static ValueType DefaultDoubleVIEnvironment::precision ( )
inlinestatic

Definition at line 24 of file BeliefExplorationAPITest.cpp.

Member Data Documentation

◆ isExactModelChecking

bool const DefaultDoubleVIEnvironment::isExactModelChecking = false
static

Definition at line 23 of file BeliefExplorationAPITest.cpp.

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