Enum flag_algebra::prettyprint::Expr

pub enum Expr {
    Add(Box<Expr>, Box<Expr>),
    Mul(Box<Expr>, Box<Expr>),
    Neg(Box<Expr>),
    Unlab(Box<Expr>),
    Zero,
    One,
    Num(String),
    Flag(String),
    Var(usize),
}

Expressions that represent a computation in flag algebras.

Variants

Add(Box<Expr>, Box<Expr>)

Mul(Box<Expr>, Box<Expr>)

Neg(Box<Expr>)

Unlab(Box<Expr>)

Zero

One

Num(String)

Flag(String)

Var(usize)

Methods

impl Expr

pub fn add(a: Self, b: Self) -> Self

pub fn mul(a: Self, b: Self) -> Self

pub fn neg(self) -> Self

pub fn sub(a: Self, b: Self) -> Self

pub fn unlab(self) -> Self

pub fn num<N>(n: &N) -> Self where
    N: Num + Display, 

Trait Implementations

impl Clone for Expr

fn clone(&self) -> Expr

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Eq for Expr

impl PartialEq<Expr> for Expr

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

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

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

This method tests for !=.

impl Display for Expr

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

Formats the value using the given formatter.

impl Debug for Expr

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

Formats the value using the given formatter.

impl StructuralPartialEq for Expr

impl StructuralEq for Expr