Struct TableShape 

pub struct TableShape(/* private fields */);

Shape-only description of one verifier table.

Contents

• Row count, always a power of two.
• Column count, strictly positive.

Implementations

impl TableShape

pub const fn new(num_variables: usize, width: usize) -> Self

Builds a table shape of 2^k rows and width columns.

Panics

• Column count must be at least one.
• Log row count must fit in the target’s pointer width.

pub const fn num_variables(&self) -> usize

Returns the number of variables per column.

pub const fn width(&self) -> usize

Returns the number of columns.

Trait Implementations

impl Clone for TableShape

fn clone(&self) -> TableShape

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for TableShape

impl Debug for TableShape

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

Formats the value using the given formatter.

impl Eq for TableShape

impl PartialEq for TableShape

fn eq(&self, other: &TableShape) -> 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 TableShape