Module ilp_registry 

ILP (Inductive Logic Programming) registry for tensor mask management.

Structs

IlpRegistry

Registry for ILP tensor masks.

IlpTagEntry

Metadata for a single active rule (i,j,k), its result cardinality, and the projected join result buffer (retained for batch credit queries).

IlpTaggedResult

Tag metadata from TensorMaskedJoin execution. Retains per-entry projected join buffers for batch credit queries.

Enums

IlpMask

A registered ILP mask — Dense (imported via DLPack) or Sparse (candidate entries only).

Functions

read_device_row_count

Reads the device-side row count through the provider’s public metadata API.