Struct Table

pub struct Table<F: TowerField = B128> {
    pub id: TableId,
    pub name: String,
    pub columns: Vec<ColumnInfo<F>>,
    /* private fields */
}

A table in an M3 constraint system.

Invariants

• All expressions in zero_constraints have a number of variables less than or equal to the number of table columns (the length of column_info).
• All flushes in flushes contain column indices less than the number of table columns (the length of column_info).

Fields

id: TableId

name: String

columns: Vec<ColumnInfo<F>>

Implementations

impl<F: TowerField> Table<F>

pub fn new(id: TableId, name: impl ToString) -> Self

pub fn id(&self) -> TableId

pub fn requires_any_po2_size(&self) -> bool

Returns true if this table requires to have any power-of-two size.

pub fn stat(&self) -> TableStat

Trait Implementations

impl<F: Debug + TowerField> Debug for Table<F>

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

Formats the value using the given formatter.

impl<F: TowerField> Index<ColumnId> for Table<F>

type Output = ColumnInfo<F>

The returned type after indexing.

fn index(&self, index: ColumnId) -> &Self::Output

Performs the indexing (container[index]) operation.