A map from ground Datalog atom to a semiring-typed weight. Phase 3 Mission 1 of campaign_exai_dl_library_neuro_symbolic (Generic Provenance-Semiring Abstraction). More...

#include <cstddef>
#include <unordered_map>
#include "pulsatrix/datalog_atom.hpp"
#include "pulsatrix/datalog_dual_semiring.hpp"

Include dependency graph for datalog_weighted_fact_database.hpp:

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

Go to the source code of this file.

Classes
class	pulsatrix::datalog::WeightedFactDatabase< T >
	A weighted fact database: a map from ground atom to a semiring value type `T` (`bool` for the trivial/boolean instantiation, `double`/`float` for the real-valued `(+, x)` instantiation). More...

Namespaces
namespace	pulsatrix

namespace	pulsatrix::datalog

Typedefs
template<typename T >
using	pulsatrix::datalog::WeightedFactSet = std::unordered_map< Atom, T, AtomHash >
	The concrete map type a WeightedFactDatabase<T> stores facts in.

Detailed Description

A map from ground Datalog atom to a semiring-typed weight. Phase 3 Mission 1 of campaign_exai_dl_library_neuro_symbolic (Generic Provenance-Semiring Abstraction).

Classes

Namespaces

Typedefs

Detailed Description