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

Required Methods

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

Evaluate the condition with the given variables bound.

Implementors

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