NondeterministicBeliefTracker.cpp File Reference

#include "storm-pomdp/generator/NondeterministicBeliefTracker.h"
#include "storm/storage/geometry/ReduceVertexCloud.h"
#include "storm/storage/geometry/nativepolytopeconversion/QuickHull.h"
#include "storm/utility/ConstantsComparator.h"
#include "storm/utility/Stopwatch.h"
#include "storm/utility/vector.h"

Include dependency graph for NondeterministicBeliefTracker.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::generator

Functions
template<typename ValueType >
bool	storm::generator::operator== (SparseBeliefState< ValueType > const &lhs, SparseBeliefState< ValueType > const &rhs)
template<typename ValueType >
bool	storm::generator::operator== (ObservationDenseBeliefState< ValueType > const &lhs, ObservationDenseBeliefState< ValueType > const &rhs)
template bool	storm::generator::operator== (SparseBeliefState< double > const &, SparseBeliefState< double > const &)
template bool	storm::generator::operator== (SparseBeliefState< storm::RationalNumber > const &, SparseBeliefState< storm::RationalNumber > const &)