|
Storm 1.14.0.1
A Modern Probabilistic Model Checker
|
#include <vector>#include "storm-pomdp/beliefs/storage/BeliefBuilder.h"#include "storm-pomdp/beliefs/utility/BeliefNumerics.h"#include "storm-pomdp/beliefs/utility/types.h"#include "storm/utility/constants.h"#include "storm/utility/macros.h"

Go to the source code of this file.
Classes | |
| class | storm::pomdp::beliefs::FreudenthalTriangulationBeliefAbstraction< BeliefType > |
| Abstracts a belief by triangulating it using the Freudenthal triangulation. More... | |
Namespaces | |
| namespace | storm |
| namespace | storm::pomdp |
| namespace | storm::pomdp::beliefs |
Enumerations | |
| enum class | storm::pomdp::beliefs::FreudenthalTriangulationMode { storm::pomdp::beliefs::Static , storm::pomdp::beliefs::Dynamic } |
| Selects a fixed grid resolution or a suitable coarser resolution per belief. More... | |