Trait simple_predicates::Eval[−][src]

pub trait Eval: Clone + PartialEq {
    type Context;
    fn eval(&self, data: &Self::Context) -> bool;
}

Expand description

Provides functions for performing boolean expression evaluation in the context of some provided Context.

Associated Types

type Context[src]

The contextual data required to evaluate the expression.

fn eval(&self, data: &Self::Context) -> bool[src]

Evaluates the expression, returning its truth value.

impl<V> Eval for Expr<V> where
    V: Eval,

type Context = V::Context

fn eval(&self, data: &Self::Context) -> bool[src]

impl<V> Eval for Cnf<V> where
    V: Eval + Eq + Hash,

type Context = V::Context

fn eval(&self, data: &Self::Context) -> bool[src]

impl<V> Eval for Dnf<V> where
    V: Eval + Eq + Hash,

type Context = V::Context

fn eval(&self, data: &Self::Context) -> bool[src]