Trait 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.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

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