TypeTraits.hpp

Go to the documentation of this file.

#ifndef AI_TOOLBOX_POMDP_TYPE_TRAITS_HEADER_FILE
#define AI_TOOLBOX_POMDP_TYPE_TRAITS_HEADER_FILE
 
#include <AIToolbox/POMDP/Types.hpp>
#include <AIToolbox/MDP/TypeTraits.hpp>
 
namespace AIToolbox::POMDP {
    template <typename M>
    concept IsGenerativeModel = MDP::IsGenerativeModel<M> && requires (M m) {
        { m.sampleSOR(m.getS(), m.getA()) } -> std::convertible_to<std::tuple<size_t, size_t, double>>;
    };
 
    template <typename M>
    concept IsModel = MDP::IsModel<M> && IsGenerativeModel<M> && HasIntegralObservationSpace<M> && requires (M m, size_t s, size_t a) {
        { m.getObservationProbability(s, a, s) } -> std::convertible_to<double>;
    };
 
    template <typename M>
    concept IsModelEigen = MDP::IsModelEigen<M> && IsModel<M> && requires (M m, size_t a) {
        m.getObservationFunction(a);
        requires IsDerivedFromEigen<std::remove_cvref_t<decltype((m.getObservationFunction(a)))>>;
    };
}
 
#endif