Enum State 

pub enum State {
    Beginning,
    Constraint {
        id: usize,
    },
    InvalidConstraint {
        id: usize,
    },
    Breakpoint {
        id: usize,
    },
    End {
        id: usize,
    },
}

State describind a mutation of the zk debugger

Variants

Beginning

BOF of the CDF backend

Id is constant 0

Constraint

Mutated the position to a different constraint

Fields

id: usize

Id of the constraint

InvalidConstraint

Hit a constraint that evaluated to false

Fields

id: usize

Id of the constraint

Breakpoint

Hit a breakpoint

Fields

id: usize

Id of the breakpoint

End

EOF of the CDF backend

Fields

id: usize

Id of the breakpoint

Trait Implementations

impl Clone for State

fn clone(&self) -> State

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for State

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

Formats the value using the given formatter.

impl Hash for State

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 State

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

impl StructuralPartialEq for State