Trait simple_predicates::Eval

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

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

Associated Types

type Data

The contextual data used to evaluate the expression.

Required methods

fn eval(&self, data: &Self::Data) -> bool

Evaluates the expression, returning its truth value.

Implementors

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

type Data = T::Data

fn eval(&self, data: &Self::Data) -> bool

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

type Data = T::Data

fn eval(&self, data: &Self::Data) -> bool

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

type Data = T::Data

fn eval(&self, data: &Self::Data) -> bool