Enum cairo_lang_sierra::simulation::value::CoreValue

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

The logical value of a variable for Sierra simulation.

Variants

EcPoint(BigInt, BigInt)

Felt252(BigInt)

GasBuiltin(i64)

RangeCheck

Uint8(u8)

Uint16(u16)

Uint32(u32)

Uint64(u64)

Uint128(u128)

NonZero(Box<CoreValue>)

Ref(Box<CoreValue>)

Array(Vec<CoreValue>)

Dict(HashMap<BigInt, CoreValue>)

Enum

Fields

value: Box<CoreValue>

index: usize

The index of the relevant variant.

Struct(Vec<CoreValue>)

Uninitialized

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

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

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for CoreValue

impl StructuralEq for CoreValue

impl StructuralPartialEq for CoreValue