Enum IlpMask 

pub enum IlpMask {
    Dense {
        hard: CudaBuffer,
        soft: CudaBuffer,
        schema_size: usize,
    },
    Sparse {
        active_entries: Vec<(u32, u32, u32)>,
        schema_size: usize,
    },
    SparseDevice {
        candidate_order: Vec<(u32, u32, u32)>,
        active_flags: CudaBuffer,
        selected_count: usize,
        schema_size: usize,
    },
}

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

Variants

Dense

Dense mask with hard and soft weight buffers.

Fields

hard: CudaBuffer

Hard mask (binary on/off).

soft: CudaBuffer

Soft mask (continuous weights).

schema_size: usize

Number of body relations in the schema.

Sparse

Sparse mask listing active (i,j,k) entries on host.

Fields

active_entries: Vec<(u32, u32, u32)>

Active rule entries.

schema_size: usize

Number of body relations in the schema.

SparseDevice

Sparse mask with device-resident active flags.

Fields

candidate_order: Vec<(u32, u32, u32)>

Candidate (i,j,k) entries in evaluation order.

active_flags: CudaBuffer

Device-resident boolean flags per candidate.

selected_count: usize

Number of currently selected candidates.

schema_size: usize

Number of body relations in the schema.

Implementations

impl IlpMask

pub fn schema_size(&self) -> usize

Return the schema size (number of body relations).