Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
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: