Enum CoreValue

pub enum CoreValue {
    EcPoint(Felt, Felt),
    Felt252(Felt),
    GasBuiltin(i64),
    Uint8(u8),
    Uint16(u16),
    Uint32(u32),
    Uint64(u64),
    Uint128(u128),
    Array(Vec<CoreValue>),
    Dict(HashMap<Felt, CoreValue>),
    Enum {
        value: Box<CoreValue>,
        index: usize,
    },
    Struct(Vec<CoreValue>),
    Uninitialized,
    RangeCheck,
    Bitwise,
    U128MulGuarantee,
}

The logical value of a variable for Sierra simulation.

Variants

EcPoint(Felt, Felt)

Felt252(Felt)

GasBuiltin(i64)

Uint8(u8)

Uint16(u16)

Uint32(u32)

Uint64(u64)

Uint128(u128)

Array(Vec<CoreValue>)

Dict(HashMap<Felt, CoreValue>)

Enum

Fields

value: Box<CoreValue>

index: usize

The index of the relevant variant.

Struct(Vec<CoreValue>)

Uninitialized

RangeCheck

Bitwise

U128MulGuarantee

Trait Implementations

impl Clone for CoreValue

fn clone(&self) -> CoreValue

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CoreValue

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

Formats the value using the given formatter.

impl PartialEq for CoreValue

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

impl StructuralPartialEq for CoreValue