pub enum Value {
Constant(u64),
TraceAccess(TraceAccess),
PeriodicColumn(PeriodicColumnAccess),
PublicInput(PublicInputAccess),
RandomValue(usize),
}
Expand description
Represents a scalar value in the AlgebraicGraph
Values are either constant, or evaluated at runtime using the context provided to an AirScript program (i.e. random values, public inputs, etc.).
Variants§
Constant(u64)
A constant value.
TraceAccess(TraceAccess)
A reference to a specific column in the trace segment, with an optional offset.
PeriodicColumn(PeriodicColumnAccess)
A reference to a periodic column
The value this corresponds to is determined by the current row of the trace.
PublicInput(PublicInputAccess)
A reference to a specific element of a given public input
RandomValue(usize)
A reference to the random_values
array, specifically the element at the given index
Trait Implementations§
source§impl PartialEq<Value> for Value
impl PartialEq<Value> for Value
impl Copy for Value
impl Eq for Value
impl StructuralEq for Value
impl StructuralPartialEq for Value
Auto Trait Implementations§
impl RefUnwindSafe for Value
impl Send for Value
impl Sync for Value
impl Unpin for Value
impl UnwindSafe for Value
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
source§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.