Struct QuinIndex 

pub struct QuinIndex { /* private fields */ }

In-memory inverted index over a NQuin collection.

Provides O(1) average lookup by subject, predicate, object, or context. Build once from a slice (from_slice) or grow incrementally (insert); the zero-alloc iter_* / object_of accessors yield copies, so they stay valid across the Vec reallocation an insert can trigger. Designed to live per 512 MB cell; wiring it to BIDX/demand-paging across cells is separate (task #22).

Implementations

impl QuinIndex

pub fn from_slice(quins: &[NQuin]) -> Self

Build an index from a slice of quins (copied into the index).

pub fn new() -> Self

Build an empty index and populate via insert().

pub fn insert(&mut self, quin: NQuin)

Insert a single quin into the index.

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn by_subject(&self, id: u64) -> Vec<NQuin>

pub fn by_predicate(&self, id: u64) -> Vec<NQuin>

pub fn by_object(&self, id: u64) -> Vec<NQuin>

pub fn by_context(&self, id: u64) -> Vec<NQuin>

pub fn by_subject_and_predicate(&self, s: u64, p: u64) -> Vec<NQuin>

Returns all quins where subject==s AND predicate==p.

pub fn iter_by_subject(&self, s: u64) -> impl Iterator<Item = NQuin> + '_

Zero-alloc: every quin with this subject, yielded by copy.

pub fn iter_by_subject_and_predicate( &self, s: u64, p: u64, ) -> impl Iterator<Item = NQuin> + '_

Zero-alloc: every quin matching subject AND predicate, yielded by copy.

pub fn object_of(&self, s: u64, p: u64) -> Option<u64>

Zero-alloc modal-kind resolution primitive: the first object of (s, p). e.g. object_of(identifier, has_modality_kind) resolves an identifier’s kind in one point lookup with no heap allocation.

pub fn rows_by_subject(&self, s: u64) -> &[usize]

Zero-copy raw backing-store row indices for a subject, for callers that gather into their own contiguous scratch buffer (pair with quin_at).

pub fn quin_at(&self, i: usize) -> NQuin

The quin at a backing-store row index. Copy, no allocation.

Trait Implementations

impl Default for QuinIndex

fn default() -> Self

Returns the “default value” for a type.