NoAbstraction.h File Reference

#include <type_traits>

Include dependency graph for NoAbstraction.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::NoAbstractionType
	Auxiliary struct used to identify cases where no abstraction of beliefs shall be applied. More...

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

Variables
constexpr NoAbstractionType	storm::pomdp::beliefs::NoAbstraction {0}
template<class A>
constexpr bool	storm::pomdp::beliefs::isNoAbstraction = std::is_same_v<std::remove_cv_t<A>, NoAbstractionType>