Struct ColumnCount 

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

The number of columns in a trace table.

This is the “shape” of an AIR: two AIRs with the same ColumnCount operate on trace tables of the same width.

Examples

use machine_cat::ColumnCount;

let a = ColumnCount::new(2);
let b = ColumnCount::new(3);
assert_eq!((a + b).count(), 5);

Implementations

impl ColumnCount

pub fn new(n: usize) -> Self

Create a new column count.

pub fn count(self) -> usize

The underlying count.

pub fn zero() -> Self

Zero columns (the unit object for tensor product).

pub fn tensor(self, other: Self) -> Self

Tensor product: parallel composition of column spaces.

Trait Implementations

impl Add for ColumnCount

type Output = ColumnCount

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self

Performs the + operation.

impl Clone for ColumnCount

fn clone(&self) -> ColumnCount

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ColumnCount

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

Formats the value using the given formatter.

impl Display for ColumnCount

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

Formats the value using the given formatter.

impl Hash for ColumnCount

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ColumnCount

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

impl Eq for ColumnCount

impl StructuralPartialEq for ColumnCount