InfoFilter.h

Go to the documentation of this file.

#pragma once

 
#include <utility>
 
#include <EmrysFilter/Core/Math.h>
#include <EmrysFilter/Core/Print.h>
#include <EmrysFilter/Distributions/InfoGaussian.h>
#include <EmrysFilter/Filters/KalmanFilter.h>
#include <EmrysFilter/Models/ProcessModel.h>
#include <EmrysFilter/Spaces/Composite.h>
#include <EmrysFilter/Spaces/Space.h>
 
namespace Emrys
{

template <
    Space Space_,
    typename Model_,
    typename Method_ = DefaultMethodFor<Model_>,
    RealScalar Scalar_ = double,
    typename Upkeep_ = upkeep::None>
class InfoFilter
    : public KalmanFilter<
          InfoGaussian<Space_, Scalar_>,
          Model_,
          Method_,
          KalmanRecursion<InfoGaussian<Space_, Scalar_>, Model_, Method_>,
          Upkeep_>
{
public:
 
    using Base = KalmanFilter<
        InfoGaussian<Space_, Scalar_>,
        Model_,
        Method_,
        KalmanRecursion<InfoGaussian<Space_, Scalar_>, Model_, Method_>,
        Upkeep_>;  

    InfoFilter(
        Model_ model,
        InfoGaussianParams<Space_, Scalar_> state,
        MethodFor<Model_, Method_> method = {},
        std::type_identity_t<Upkeep_> upkeep = {}
    )
        : Base{std::move(model), std::move(state), std::move(method), std::move(upkeep)}
    {}

    InfoFilter(Model_ model, InfoGaussianParams<Space_, Scalar_> state, std::type_identity_t<Upkeep_> upkeep)
        requires(!std::same_as<Upkeep_, Emrys::upkeep::None>)
        : Base{std::move(model), std::move(state), MethodFor<Model_, Method_>{}, std::move(upkeep)}
    {}
};

// One guide with a defaulted method, its parameters in the class's order.
template <typename Space, typename Model, typename Method = DefaultMethodFor<Model>, typename Scalar>
    requires(!internal::UpkeepArgument<Method>)
InfoFilter(Model, InfoGaussianParams<Space, Scalar>, Method = {})
    -> InfoFilter<Space, internal::BoundStep<Model, Space, Scalar>, Method, Scalar>;
 
template <typename Space, typename Model, typename Scalar, typename U>
    requires internal::UpkeepArgument<U>
InfoFilter(Model, InfoGaussianParams<Space, Scalar>, U)
    -> InfoFilter<Space, internal::BoundStep<Model, Space, Scalar>, DefaultMethodFor<Model>, Scalar, U>;
 
template <typename Space, typename Model, typename Method, typename Scalar, typename U>
InfoFilter(Model, InfoGaussianParams<Space, Scalar>, Method, U)
    -> InfoFilter<Space, internal::BoundStep<Model, Space, Scalar>, Method, Scalar, U>;
 
}  // namespace Emrys
 
#ifndef EMRYS_FILTER_NO_IO
 
namespace Emrys
{
 
namespace internal
{

template <typename Space_, typename Model_, typename Method_, typename Scalar_, typename Upkeep_>
void
describe(std::ostream & stream, InfoFilter<Space_, Model_, Method_, Scalar_, Upkeep_> const & filter, Indent indent)
{
    describeFilter(stream, "information filter", filter.state(), indent);
}
 
}  // namespace internal
 
}  // namespace Emrys
 
#endif  // EMRYS_FILTER_NO_IO