Struct cairo_lang_sierra_to_casm::references::ReferenceExpression

pub struct ReferenceExpression {
    pub cells: Vec<CellExpression>,
}

A collection of Cell Expression which represents one logical object.

Fields

cells: Vec<CellExpression>

Implementations

impl ReferenceExpression

pub fn from_cell(cell_expr: CellExpression) -> Self

Builds a reference expression containing only a single cell

pub fn try_unpack<const SIZE: usize>( &self ) -> Result<&[CellExpression; SIZE], InvocationError>

If returns the cells as an array of the requested size if the size is correct.

pub fn try_unpack_single(&self) -> Result<&CellExpression, InvocationError>

If there is only one cell in the ReferenceExpression returns the contained CellExpression.

Trait Implementations

impl ApplyApChange for ReferenceExpression

fn apply_known_ap_change(self, ap_change: usize) -> Option<Self>

Attempts to apply ap change, fail on overflow only.

fn can_apply_unknown(&self) -> bool

Can unknown ap change be applied.

fn apply_ap_change(self, ap_change: ApChange) -> Result<Self, ApChangeError>

Attempts to apply ap change.

fn unchecked_apply_known_ap_change(self, ap_change: usize) -> Self

Same as Self::apply_known_ap_change but unchecked.

impl Clone for ReferenceExpression

fn clone(&self) -> ReferenceExpression

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ReferenceExpression

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

Formats the value using the given formatter.

impl PartialEq for ReferenceExpression

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

impl StructuralEq for ReferenceExpression

impl StructuralPartialEq for ReferenceExpression