Trait simple_predicates::Eval

pub trait Eval: Clone + PartialEq {
    type Context;

    // Required method
    fn eval(&self, data: &Self::Context) -> bool;
}

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

Required Associated Types

type Context

The contextual data required to evaluate the expression.

Required Methods

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

Evaluates the expression, returning its truth value.

Implementors

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

type Context = <V as Eval>::Context

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

type Context = <V as Eval>::Context

impl<V> Eval for CnfVec<V>where V: Eval + PartialEq,

type Context = <V as Eval>::Context

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

type Context = <V as Eval>::Context

impl<V> Eval for DnfVec<V>where V: Eval + PartialEq,

type Context = <V as Eval>::Context