Storm
A Modern Probabilistic Model Checker
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
storm::generator::NondeterministicBeliefTracker< ValueType, BeliefState > Member List

This is the complete list of members for storm::generator::NondeterministicBeliefTracker< ValueType, BeliefState >, including all inherited members.

getCurrentBeliefs() conststorm::generator::NondeterministicBeliefTracker< ValueType, BeliefState >
getCurrentDimension() conststorm::generator::NondeterministicBeliefTracker< ValueType, BeliefState >
getCurrentObservation() conststorm::generator::NondeterministicBeliefTracker< ValueType, BeliefState >
getCurrentRisk(bool max=true)storm::generator::NondeterministicBeliefTracker< ValueType, BeliefState >
getNumberOfBeliefs() conststorm::generator::NondeterministicBeliefTracker< ValueType, BeliefState >
hasTimedOut() conststorm::generator::NondeterministicBeliefTracker< ValueType, BeliefState >
NondeterministicBeliefTracker(storm::models::sparse::Pomdp< ValueType > const &pomdp, typename NondeterministicBeliefTracker< ValueType, BeliefState >::Options options=Options())storm::generator::NondeterministicBeliefTracker< ValueType, BeliefState >
reduce()storm::generator::NondeterministicBeliefTracker< ValueType, BeliefState >
reset(uint32_t observation)storm::generator::NondeterministicBeliefTracker< ValueType, BeliefState >
setRisk(std::vector< ValueType > const &risk)storm::generator::NondeterministicBeliefTracker< ValueType, BeliefState >
track(uint64_t newObservation)storm::generator::NondeterministicBeliefTracker< ValueType, BeliefState >