Enum poi::Expr

pub enum Expr {
    Sym(Symbol),
    Ret(Value),
    Op(Op, Box<Expr>, Box<Expr>),
    Tup(Vec<Expr>),
    List(Vec<Expr>),
}

Function expression.

Variants

Sym(Symbol)

A symbol that is used together with symbolic knowledge.

Ret(Value)

Some function that returns a value, ignoring the argument.

This can also be used to store values, since zero arguments is a value.

Op(Op, Box<Expr>, Box<Expr>)

A binary operation on functions.

Tup(Vec<Expr>)

A tuple for more than one argument.

List(Vec<Expr>)

A list.

Implementations

impl Expr

pub fn equivalences(&self, knowledge: &[Knowledge]) -> Vec<(Expr, usize)>

Returns available equivalences of the expression, using a knowledge base.

pub fn eval(&self, knowledge: &[Knowledge]) -> Result<Expr, Error>

Evaluate an expression using a knowledge base.

This combines reductions and inlining of all symbols.

pub fn reduce_all(&self, knowledge: &[Knowledge]) -> Expr

Reduces an expression using a knowledge base, until it can not be reduces further.

pub fn reduce(&self, knowledge: &[Knowledge]) -> Result<(Expr, usize), Error>

Reduces expression one step using a knowledge base.

pub fn inline_all(&self, knowledge: &[Knowledge]) -> Result<Expr, Error>

Inlines all symbols using a knowledge base.

Ignores missing definitions in domain constraints.

pub fn inline(
    &self,
    sym: &Symbol,
    knowledge: &[Knowledge]
) -> Result<Expr, Error>

Inline a symbol using a knowledge base.

pub fn has_constraint(&self, arity_level: usize) -> bool

Returns true if has constraints.

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 Debug for Expr

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

Formats the value using the given formatter.

impl Display for Expr

fn fmt(&self, w: &mut Formatter) -> Result<(), Error>

Formats the value using the given formatter.

impl Into<Expr> for bool

fn into(self) -> Expr

Performs the conversion.

impl Into<Expr> for f64

fn into(self) -> Expr

Performs the conversion.

impl<T, U> Into<Expr> for (T, U) where
    T: Into<Expr>,
    U: Into<Expr>, 

fn into(self) -> Expr

Performs the conversion.

impl<T0, T1, T2> Into<Expr> for (T0, T1, T2) where
    T0: Into<Expr>,
    T1: Into<Expr>,
    T2: Into<Expr>, 

fn into(self) -> Expr

Performs the conversion.

impl Into<Expr> for Symbol

fn into(self) -> Expr

Performs the conversion.

impl Into<Expr> for &'static str

fn into(self) -> Expr

Performs the conversion.

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 StructuralPartialEq for Expr