datalog_semiring.hpp

Go to the documentation of this file.

 
#pragma once
 
#include <type_traits>
 
namespace pulsatrix::datalog {
 
struct BooleanSemiring {
    using Value = bool;
 
    [[nodiscard]] static constexpr Value zero() { return false; }
    [[nodiscard]] static constexpr Value one() { return true; }
    [[nodiscard]] static constexpr Value add(Value a, Value b) { return a || b; }
    [[nodiscard]] static constexpr Value mul(Value a, Value b) { return a && b; }
};
 
template <typename T>
struct RealSemiring {
    static_assert(std::is_floating_point_v<T>, "RealSemiring<T> requires a floating-point T (double or float)");
 
    using Value = T;
 
    [[nodiscard]] static constexpr Value zero() { return static_cast<T>(0); }
    [[nodiscard]] static constexpr Value one() { return static_cast<T>(1); }
    [[nodiscard]] static constexpr Value add(Value a, Value b) { return a + b; }
    [[nodiscard]] static constexpr Value mul(Value a, Value b) { return a * b; }
};
 
}  // namespace pulsatrix::datalog