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>)ZeroOneNum(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 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 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 Debug for Expr

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

Formats the value using the given formatter.

impl Display for Expr

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

Formats the value using the given formatter.