Storm 1.11.1.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | List of all members
storm::modelchecker::RegionSplittingStrategy Struct Reference

#include <RegionSplittingStrategy.h>

Public Types

enum class  Heuristic { EstimateBased , RoundRobin , Default }
 

Public Member Functions

 RegionSplittingStrategy ()=default
 
 RegionSplittingStrategy (Heuristic heuristic, uint64_t maxSplitDimensions, std::optional< RegionSplitEstimateKind > estimateKind)
 

Public Attributes

Heuristic heuristic {Heuristic::Default}
 
uint64_t maxSplitDimensions {std::numeric_limits<uint64_t>::max()}
 
std::optional< RegionSplitEstimateKind > estimateKind
 

Detailed Description

Definition at line 8 of file RegionSplittingStrategy.h.

Member Enumeration Documentation

◆ Heuristic

enum class storm::modelchecker::RegionSplittingStrategy::Heuristic
strong
Enumerator
EstimateBased 
RoundRobin 
Default 

Definition at line 10 of file RegionSplittingStrategy.h.

Constructor & Destructor Documentation

◆ RegionSplittingStrategy() [1/2]

storm::modelchecker::RegionSplittingStrategy::RegionSplittingStrategy ( )
default

◆ RegionSplittingStrategy() [2/2]

storm::modelchecker::RegionSplittingStrategy::RegionSplittingStrategy ( Heuristic  heuristic,
uint64_t  maxSplitDimensions,
std::optional< RegionSplitEstimateKind >  estimateKind 
)
inline

Definition at line 16 of file RegionSplittingStrategy.h.

Member Data Documentation

◆ estimateKind

std::optional<RegionSplitEstimateKind> storm::modelchecker::RegionSplittingStrategy::estimateKind

Definition at line 13 of file RegionSplittingStrategy.h.

◆ heuristic

Heuristic storm::modelchecker::RegionSplittingStrategy::heuristic {Heuristic::Default}

Definition at line 11 of file RegionSplittingStrategy.h.

◆ maxSplitDimensions

uint64_t storm::modelchecker::RegionSplittingStrategy::maxSplitDimensions {std::numeric_limits<uint64_t>::max()}

Definition at line 12 of file RegionSplittingStrategy.h.

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