Enum isla_axiomatic::litmus::exp::Exp

pub enum Exp {
    EqLoc(Loc, Box<Exp>),
    True,
    False,
    Bin(String),
    Hex(String),
    Bits64(u64, u32),
    Nat(u64),
    And(Vec<Exp>),
    Or(Vec<Exp>),
    Not(Box<Exp>),
    App(String, Vec<Exp>),
    Implies(Box<Exp>, Box<Exp>),
}

Variants

EqLoc(Loc, Box<Exp>)

True

False

Bin(String)

Hex(String)

Bits64(u64, u32)

Nat(u64)

And(Vec<Exp>)

Or(Vec<Exp>)

Not(Box<Exp>)

App(String, Vec<Exp>)

Implies(Box<Exp>, Box<Exp>)

Trait Implementations

impl Clone for Exp

fn clone(&self) -> Exp

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Exp

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

Formats the value using the given formatter.

impl Eq for Exp

impl PartialEq<Exp> for Exp

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

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

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

This method tests for !=.

impl StructuralEq for Exp

impl StructuralPartialEq for Exp