Enum isla_axiomatic::litmus::exp::Loc

pub enum Loc {
    Register {
        reg: Name,
        thread_id: usize,
    },
    LastWriteTo {
        address: u64,
        bytes: u32,
    },
}

Variants

Register

Fields of Register

reg: Namethread_id: usize

LastWriteTo

Fields of LastWriteTo

address: u64bytes: u32

Trait Implementations

impl Clone for Loc

fn clone(&self) -> Loc

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Loc

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

Formats the value using the given formatter.

impl Eq for Loc

impl PartialEq<Loc> for Loc

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

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

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

This method tests for !=.

impl StructuralEq for Loc

impl StructuralPartialEq for Loc