|
Storm 1.11.1.1
A Modern Probabilistic Model Checker
|
This is the complete list of members for storm::modelchecker::RegionSplittingStrategy, including all inherited members.
| estimateKind | storm::modelchecker::RegionSplittingStrategy | |
| Heuristic enum name | storm::modelchecker::RegionSplittingStrategy | |
| heuristic | storm::modelchecker::RegionSplittingStrategy | |
| maxSplitDimensions | storm::modelchecker::RegionSplittingStrategy | |
| RegionSplittingStrategy()=default | storm::modelchecker::RegionSplittingStrategy | |
| RegionSplittingStrategy(Heuristic heuristic, uint64_t maxSplitDimensions, std::optional< RegionSplitEstimateKind > estimateKind) | storm::modelchecker::RegionSplittingStrategy | inline |