Enum flag_algebra::expr::Expr

pub enum Expr<N, F> {
    Add(Rc<Expr<N, F>>, Rc<Expr<N, F>>),
    Mul(Rc<Expr<N, F>>, Rc<Expr<N, F>>),
    Neg(Rc<Expr<N, F>>),
    Unlab(Rc<Expr<N, F>>),
    Zero,
    One,
    Num(Rc<N>),
    Named(Rc<Expr<N, F>>, Rc<String>, bool),
    Var(usize),
    Flag(usize, Basis<F>),
    FromFunction(Rc<dyn Fn(&F, usize) -> N>, Basis<F>),
    FromIndicator(fn(_: &F, _: usize) -> bool, Basis<F>),
    Unknown,
}

Expressions that represent a computation in flag algebras.

Variants

Add(Rc<Expr<N, F>>, Rc<Expr<N, F>>)

Mul(Rc<Expr<N, F>>, Rc<Expr<N, F>>)

Neg(Rc<Expr<N, F>>)

Unlab(Rc<Expr<N, F>>)

Zero

One

Num(Rc<N>)

Named(Rc<Expr<N, F>>, Rc<String>, bool)

Var(usize)

Flag(usize, Basis<F>)

FromFunction(Rc<dyn Fn(&F, usize) -> N>, Basis<F>)

FromIndicator(fn(_: &F, _: usize) -> bool, Basis<F>)

Unknown

Implementations

impl<N, F> Expr<N, F>

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 named(self, name: String) -> Self

pub fn unknown(name: String) -> Self

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

pub fn latex(&self, names: &mut Names<N, F>) -> String where
    N: Display,
    F: Ord + Flag, 

impl<N, F> Expr<N, F> where
    N: Num + Neg<Output = N> + Clone + FromPrimitive + ScalarOperand + Display,
    F: Flag, 

pub fn eval(&self) -> QFlag<N, F>

pub fn eval_with_context(&self, range: &VarRange<F>, id: usize) -> QFlag<N, F>

impl<N, F> Expr<N, F> where
    N: Clone,
    F: Clone, 

pub fn substitute_option(
    &self,
    range_opt: &Option<VarRange<F>>,
    id: usize
) -> Self

pub fn substitute(&self, range: &VarRange<F>, id: usize) -> Self

impl<N, F> Expr<N, F>

pub fn map<Fun, M>(&self, f: &Fun) -> Expr<M, F> where
    Fun: Fn(&N) -> M, 

Trait Implementations

impl<N, F> Clone for Expr<N, F>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<N, F> Debug for Expr<N, F> where
    F: Debug,
    N: Debug, 

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

Formats the value using the given formatter.

impl<N, F> Display for Expr<N, F> where
    N: Display, 

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

Formats the value using the given formatter.