datalog_semiring.hpp File Reference

Generic provenance-semiring abstraction (zero/one/add=(+)/mul=(x)) plus the boolean (trivial) and real-valued (+, x) concrete instantiations. Phase 3 Mission 1 of campaign_exai_dl_library_neuro_symbolic (Generic Provenance-Semiring Abstraction). More...

#include <type_traits>

Include dependency graph for datalog_semiring.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	pulsatrix::datalog::BooleanSemiring
	A "Semiring" here is not a base class – it is a compile-time trait shape a type must satisfy to be usable as naive_evaluate_weighted<Semiring>'s template parameter: a nested Value type alias plus four static functions, zero(), one(), add(Value,Value) (⊕), mul(Value,Value) (⊗). There is no virtual interface anywhere in this file. More...
struct	pulsatrix::datalog::RealSemiring< T >
	The real-valued (+, x) semiring: ⊕ = floating-point addition, ⊗ = floating-point multiplication, zero = 0.0, one = 1.0 – the differentiable-provenance case. More...

Namespaces
namespace	pulsatrix
namespace	pulsatrix::datalog

Detailed Description

Generic provenance-semiring abstraction (zero/one/add=(+)/mul=(x)) plus the boolean (trivial) and real-valued (+, x) concrete instantiations. Phase 3 Mission 1 of campaign_exai_dl_library_neuro_symbolic (Generic Provenance-Semiring Abstraction).