Struct NaryPatternBatchLayout 

pub struct NaryPatternBatchLayout {
    pub head_arity: Vec<u32>,
    pub join_count: Vec<u32>,
    pub body_offset: Vec<u32>,
    pub body_len: Vec<u32>,
    pub atom_candidate_slot: Vec<u32>,
    pub atom_arity: Vec<u32>,
    pub atom_binding_offset: Vec<u32>,
    pub binding_codes: Vec<u32>,
}

One pattern batch as the parallel flat arrays the kernel consumes.

Per pattern p: head arity head_arity[p], join-variable count join_count[p], and body atoms body_offset[p] .. body_offset[p] + body_len[p]. Per atom a (flat index): candidate relation slot atom_candidate_slot[a], arity atom_arity[a], and binding codes binding_codes[atom_binding_offset[a] .. + atom_arity[a]].

Fields

head_arity: Vec<u32>

join_count: Vec<u32>

body_offset: Vec<u32>

body_len: Vec<u32>

atom_candidate_slot: Vec<u32>

atom_arity: Vec<u32>

atom_binding_offset: Vec<u32>

binding_codes: Vec<u32>

Trait Implementations

impl Clone for NaryPatternBatchLayout

fn clone(&self) -> NaryPatternBatchLayout

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for NaryPatternBatchLayout

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for NaryPatternBatchLayout

impl PartialEq for NaryPatternBatchLayout

fn eq(&self, other: &NaryPatternBatchLayout) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for NaryPatternBatchLayout