Storm 1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
BeliefExplorationMatrix.h File Reference
#include <set>
#include <string>
#include <tuple>
#include <vector>
#include "storm-pomdp/beliefs/utility/types.h"
Include dependency graph for BeliefExplorationMatrix.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  storm::pomdp::beliefs::BeliefExplorationTransition< ValueType,... >
 A successor entry recorded while exploring one action of a belief. More...
struct  storm::pomdp::beliefs::BeliefExplorationTransition< ValueType, ExtraTransitionData >
struct  storm::pomdp::beliefs::BeliefExplorationTransition< ValueType, FirstExtraTransitionData, OtherExtraTransitionData... >
class  storm::pomdp::beliefs::BeliefExplorationMatrix< ValueType, ExtraTransitionData >
 Sparse transition data for the explored part of a belief MDP. More...

Namespaces

namespace  storm
namespace  storm::pomdp
namespace  storm::pomdp::beliefs