Struct TableLookup 

pub struct TableLookup<'a, Elem> {
    pub n_vars: usize,
    pub lookers: Vec<LookerClaim<'a, Elem>>,
}

One table together with the lookers that read it.

Fields

n_vars: usize

The number of variables m of this table’s multilinear (2^m entries).

lookers: Vec<LookerClaim<'a, Elem>>

The claims of the lookers that read this table. Their evaluation points may differ in length, both from each other and from the table.

Trait Implementations

impl<'a, Elem: Clone> Clone for TableLookup<'a, Elem>

fn clone(&self) -> TableLookup<'a, Elem>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, Elem: Debug> Debug for TableLookup<'a, Elem>

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

Formats the value using the given formatter.