Trait expression::Condition

pub trait Condition: Debug + Clone + PartialEq {
type Expr: Expression;
    fn evaluate(
        &self, 
        variables: &[<Self::Expr as Expression>::Element]
    ) -> Result<bool, ExpressionError>;
}

Associated Types

type Expr: Expression

Loading content...

Required methods

fn evaluate(
    &self,
    variables: &[<Self::Expr as Expression>::Element]
) -> Result<bool, ExpressionError>

Evaluate the condition with the given variables bound.

Loading content...

Implementors

impl<E: Expression> Condition for Cond<E>

type Expr = E

fn evaluate(
    &self,
    variables: &[<Self::Expr as Expression>::Element]
) -> Result<bool, ExpressionError>

Loading content...