Struct OpStackTableEntry 

pub struct OpStackTableEntry {
    pub clk: u32,
    pub op_stack_pointer: BFieldElement,
    pub underflow_io: UnderflowIO,
}

Fields

clk: u32

op_stack_pointer: BFieldElement

underflow_io: UnderflowIO

Implementations

impl OpStackTableEntry

pub fn new( clk: u32, op_stack_pointer: BFieldElement, underflow_io: UnderflowIO, ) -> Self

pub fn shrinks_stack(&self) -> bool

pub fn grows_stack(&self) -> bool

pub fn from_underflow_io_sequence( clk: u32, op_stack_pointer_after_sequence_execution: BFieldElement, underflow_io_sequence: Vec<UnderflowIO>, ) -> Vec<Self>

pub fn to_main_table_row(self) -> Array1<BFieldElement>

Trait Implementations

impl<'arbitrary> Arbitrary<'arbitrary> for OpStackTableEntry

fn arbitrary(u: &mut Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the given unstructured data.

fn arbitrary_take_rest(u: Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the entirety of the given unstructured data.

fn size_hint(depth: usize) -> (usize, Option<usize>)

Get a size hint for how many bytes out of an Unstructured this type needs to construct itself.

fn try_size_hint( depth: usize, ) -> Result<(usize, Option<usize>), MaxRecursionReached>

Get a size hint for how many bytes out of an Unstructured this type needs to construct itself.

impl Clone for OpStackTableEntry

fn clone(&self) -> OpStackTableEntry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OpStackTableEntry

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

Formats the value using the given formatter.

impl Hash for OpStackTableEntry

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 OpStackTableEntry

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

impl Eq for OpStackTableEntry

impl StructuralPartialEq for OpStackTableEntry