Struct air_ir::TransitionConstraintDegree

pub struct TransitionConstraintDegree { /* private fields */ }

Degree descriptor of a transition constraint.

Describes constraint degree as a combination of multiplications of periodic and trace columns. For example, degree of a constraint which requires multiplication of two trace columns can be described as: base: 2, cycles: []. A constraint which requires multiplication of 3 trace columns and a periodic column with a period of 32 steps can be described as: base: 3, cycles: [32].

Implementations

impl TransitionConstraintDegree

pub fn base(&self) -> usize

pub fn cycles(&self) -> &[usize]

Trait Implementations

impl Clone for TransitionConstraintDegree

fn clone(&self) -> TransitionConstraintDegree

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TransitionConstraintDegree

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

Formats the value using the given formatter.

impl PartialEq<TransitionConstraintDegree> for TransitionConstraintDegree

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Eq for TransitionConstraintDegree

impl StructuralEq for TransitionConstraintDegree

impl StructuralPartialEq for TransitionConstraintDegree