NoAbstraction.h

Go to the documentation of this file.

#pragma once
 
#include <type_traits>
 
namespace storm::pomdp::beliefs {

struct NoAbstractionType {
    constexpr explicit NoAbstractionType(int) {}
};
inline constexpr NoAbstractionType NoAbstraction{0};
 
template<class A>
inline constexpr bool isNoAbstraction = std::is_same_v<std::remove_cv_t<A>, NoAbstractionType>;
 
}  // namespace storm::pomdp::beliefs