Enum SetTo 

pub enum SetTo {
    Nothing,
    Move {
        place: PlaceId,
        value: ConstId,
        plan: MovePlan,
    },
    Refused(AbendId),
}

SET of a condition-name, its conditional variable located with the walk’s subscripts.

Variants

Nothing

It has no such value.

Move

Fields

place: PlaceId

value: ConstId

plan: MovePlan

Refused(AbendId)

It is not a condition-name, or the walk has too few subscripts for it.

Trait Implementations

impl Clone for SetTo

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SetTo

impl Debug for SetTo

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

Formats the value using the given formatter.

impl Decode for SetTo

fn decode(r: &mut Reader<'_>) -> Result<Self, ModuleError>

impl Encode for SetTo

fn encode(&self, w: &mut Writer)

impl Eq for SetTo

impl PartialEq for SetTo

fn eq(&self, other: &Self) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SetTo