Enum air_ir::BoundaryExpr
source · pub enum BoundaryExpr {
Const(u64),
PubInput(Identifier, usize),
Rand(usize),
Add(Box<BoundaryExpr, Global>, Box<BoundaryExpr, Global>),
Sub(Box<BoundaryExpr, Global>, Box<BoundaryExpr, Global>),
Mul(Box<BoundaryExpr, Global>, Box<BoundaryExpr, Global>),
Exp(Box<BoundaryExpr, Global>, u64),
}
Expand description
Arithmetic expressions for evaluation of boundary constraints.
Variants
Const(u64)
PubInput(Identifier, usize)
Reference to a public input element, identified by the name of a public input array and the index of the cell.
Rand(usize)
Represents a random value provided by the verifier. The inner value is the index of this random value in the array of all random values.
Add(Box<BoundaryExpr, Global>, Box<BoundaryExpr, Global>)
Sub(Box<BoundaryExpr, Global>, Box<BoundaryExpr, Global>)
Mul(Box<BoundaryExpr, Global>, Box<BoundaryExpr, Global>)
Exp(Box<BoundaryExpr, Global>, u64)
Trait Implementations
sourceimpl Clone for BoundaryExpr
impl Clone for BoundaryExpr
sourcefn clone(&self) -> BoundaryExpr
fn clone(&self) -> BoundaryExpr
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresourceimpl Debug for BoundaryExpr
impl Debug for BoundaryExpr
sourceimpl PartialEq<BoundaryExpr> for BoundaryExpr
impl PartialEq<BoundaryExpr> for BoundaryExpr
sourcefn eq(&self, other: &BoundaryExpr) -> bool
fn eq(&self, other: &BoundaryExpr) -> bool
impl StructuralPartialEq for BoundaryExpr
Auto Trait Implementations
impl RefUnwindSafe for BoundaryExpr
impl Send for BoundaryExpr
impl Sync for BoundaryExpr
impl Unpin for BoundaryExpr
impl UnwindSafe for BoundaryExpr
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more