Struct miden_core::TraceState

pub struct TraceState<E: FieldElement<BaseField = BaseElement>> { /* fields omitted */ }

Implementations

impl<E: FieldElement<BaseField = BaseElement>> TraceState<E>

pub fn new(ctx_depth: usize, loop_depth: usize, stack_depth: usize) -> Self

pub fn from_slice(
    ctx_depth: usize,
    loop_depth: usize,
    stack_depth: usize,
    state: &[E]
) -> Self

pub fn compute_decoder_width(ctx_depth: usize, loop_depth: usize) -> usize

pub fn op_counter(&self) -> E

pub fn set_op_counter(&mut self, value: E)

pub fn op_sponge(&self) -> &[E]

pub fn program_hash(&self) -> &[E]

pub fn cf_op_bits(&self) -> &[E]

pub fn ld_op_bits(&self) -> &[E]

pub fn hd_op_bits(&self) -> &[E]

pub fn op_code(&self) -> E

pub fn set_op_bits(&mut self, bits: [E; 10])

pub fn get_void_op_flag(&self) -> E

pub fn ctx_stack(&self) -> &[E]

pub fn loop_stack(&self) -> &[E]

pub fn user_stack(&self) -> &[E]

pub fn update(&mut self, row: &[E])

Trait Implementations

impl<E: Clone + FieldElement<BaseField = BaseElement>> Clone for TraceState<E>

fn clone(&self) -> TraceState<E>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TraceState<BaseElement>

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

Formats the value using the given formatter.

impl Display for TraceState<BaseElement>

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

Formats the value using the given formatter.

impl<E: PartialEq + FieldElement<BaseField = BaseElement>> PartialEq<TraceState<E>> for TraceState<E>

fn eq(&self, other: &TraceState<E>) -> bool

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

fn ne(&self, other: &TraceState<E>) -> bool

This method tests for !=.

impl<E: FieldElement<BaseField = BaseElement>> StructuralPartialEq for TraceState<E>