Enum air_ir::ConstraintDomain

pub enum ConstraintDomain {
    FirstRow,
    LastRow,
    EveryRow,
    EveryFrame(usize),
}

ConstraintDomain corresponds to the domain over which a constraint is applied.

See the docs on each variant for more details.

Variants

FirstRow

For boundary constraints which apply to the first row

LastRow

For boundary constraints which apply to the last row

EveryRow

For constraints which apply to every row of the trace

This is used for validity constraints

EveryFrame(usize)

For constraints which apply across multiple rows at once.

A “frame” is a window over rows in the trace, i.e. a constraint over a frame of size 2 is a constraint that observes 2 rows at a time, at each step of the trace, e.g. current and next rows. Such a constraint verifies that certain properties hold in the transition between every pair of rows.

This is used for transition constraints.

Implementations

impl ConstraintDomain

pub fn is_boundary(&self) -> bool

Returns true if this domain is a boundary domain (e.g. first or last)

pub fn is_integrity(&self) -> bool

Returns true if this domain is an integrity constraint domain.

pub fn from_offset(offset: usize) -> Self

Returns a ConstraintDomain corresponding to the given row offset.

• offset == 0 corresponds to every row
• offset > 0 corresponds to a frame size of offset + 1

pub fn merge(self, other: Self) -> Result<Self, ConstraintError>

Combines two compatible ConstraintDomains into a single ConstraintDomain that represents the maximum of the two.

For example, if one domain is [ConstraintDomain::EveryFrame(2)] and the other is [ConstraintDomain::EveryFrame(3)], then the result will be [ConstraintDomain::EveryFrame(3)].

NOTE: Domains for boundary constraints (FirstRow and LastRow) cannot be merged with other domains.

Trait Implementations

impl Clone for ConstraintDomain

fn clone(&self) -> ConstraintDomain

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ConstraintDomain

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

Formats the value using the given formatter.

impl Display for ConstraintDomain

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

Formats the value using the given formatter.

impl From<Boundary> for ConstraintDomain

fn from(boundary: Boundary) -> Self

Converts to this type from the input type.

impl Ord for ConstraintDomain

fn cmp(&self, other: &ConstraintDomain) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Selfwhere Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Selfwhere Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere Self: Sized + PartialOrd<Self>,

Restrict a value to a certain interval.

impl PartialEq<ConstraintDomain> for ConstraintDomain

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

fn partial_cmp(&self, other: &ConstraintDomain) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

This method tests less than (for self and other) and is used by the < operator.

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

This method tests less than or equal to (for self and other) and is used by the <= operator.

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

This method tests greater than (for self and other) and is used by the > operator.

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

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for ConstraintDomain

impl Eq for ConstraintDomain

impl StructuralEq for ConstraintDomain

impl StructuralPartialEq for ConstraintDomain