Enum BooleanExpr 

pub enum BooleanExpr<V>
where
    V: Clone,
{
    Const(bool),
    Var(V),
    Rand(FloatExpr<V>),
    And(Vec<BooleanExpr<V>>),
    Or(Vec<BooleanExpr<V>>),
    Implies(Box<(BooleanExpr<V>, BooleanExpr<V>)>),
    Not(Box<BooleanExpr<V>>),
    NatEqual(NaturalExpr<V>, NaturalExpr<V>),
    IntEqual(IntegerExpr<V>, IntegerExpr<V>),
    FloatEqual(FloatExpr<V>, FloatExpr<V>),
    NatGreater(NaturalExpr<V>, NaturalExpr<V>),
    IntGreater(IntegerExpr<V>, IntegerExpr<V>),
    FloatGreater(FloatExpr<V>, FloatExpr<V>),
    NatGreaterEq(NaturalExpr<V>, NaturalExpr<V>),
    IntGreaterEq(IntegerExpr<V>, IntegerExpr<V>),
    FloatGreaterEq(FloatExpr<V>, FloatExpr<V>),
    NatLess(NaturalExpr<V>, NaturalExpr<V>),
    IntLess(IntegerExpr<V>, IntegerExpr<V>),
    FloatLess(FloatExpr<V>, FloatExpr<V>),
    NatLessEq(NaturalExpr<V>, NaturalExpr<V>),
    IntLessEq(IntegerExpr<V>, IntegerExpr<V>),
    FloatLessEq(FloatExpr<V>, FloatExpr<V>),
    Ite(Box<(BooleanExpr<V>, BooleanExpr<V>, BooleanExpr<V>)>),
}

Boolean expressions.

Variants

Const(bool)

A Boolean constant (true or false).

Var(V)

A Boolean variable.

Rand(FloatExpr<V>)

A Bernoulli distribution with the given probability.

And(Vec<BooleanExpr<V>>)

n-ary logical conjunction.

Or(Vec<BooleanExpr<V>>)

n-ary logical disjunction.

Implies(Box<(BooleanExpr<V>, BooleanExpr<V>)>)

Logical implication.

Not(Box<BooleanExpr<V>>)

Logical negation.

NatEqual(NaturalExpr<V>, NaturalExpr<V>)

Equality of Natural expressions.

IntEqual(IntegerExpr<V>, IntegerExpr<V>)

Equality of Integer expressions.

FloatEqual(FloatExpr<V>, FloatExpr<V>)

Equality of Float expressions.

NatGreater(NaturalExpr<V>, NaturalExpr<V>)

Inequality of Natural expressions: LHS greater than RHS.

IntGreater(IntegerExpr<V>, IntegerExpr<V>)

Inequality of Integer expressions: LHS greater than RHS.

FloatGreater(FloatExpr<V>, FloatExpr<V>)

Inequality of Float expressions: LHS greater than RHS.

NatGreaterEq(NaturalExpr<V>, NaturalExpr<V>)

Inequality of Natural expressions: LHS greater than, or equal to, RHS.

IntGreaterEq(IntegerExpr<V>, IntegerExpr<V>)

Inequality of Integer expressions: LHS greater than, or equal to, RHS.

FloatGreaterEq(FloatExpr<V>, FloatExpr<V>)

Inequality of Float expressions: LHS greater than, or equal to, RHS.

NatLess(NaturalExpr<V>, NaturalExpr<V>)

Inequality of Natural expressions: LHS less than RHS.

IntLess(IntegerExpr<V>, IntegerExpr<V>)

Inequality of Integer expressions: LHS less than RHS.

FloatLess(FloatExpr<V>, FloatExpr<V>)

Inequality of Float expressions: LHS less than RHS.

NatLessEq(NaturalExpr<V>, NaturalExpr<V>)

Inequality of Natural expressions: LHS less than, or equal to, RHS.

IntLessEq(IntegerExpr<V>, IntegerExpr<V>)

Inequality of Integer expressions: LHS less than, or equal to, RHS.

FloatLessEq(FloatExpr<V>, FloatExpr<V>)

Inequality of Float expressions: LHS less than, or equal to, RHS.

Ite(Box<(BooleanExpr<V>, BooleanExpr<V>, BooleanExpr<V>)>)

If-Then-Else construct, where If must be a boolean expression, Then and Else must have the same type, and this is also the type of the whole expression.

Implementations

impl<V> BooleanExpr<V>

where V: Clone,

pub fn is_constant(&self) -> bool

Returns true if the expression is constant, i.e., it contains no variables, and false otherwise.

pub fn eval<R: Rng>(&self, vars: &dyn Fn(&V) -> Val, rng: &mut R) -> bool

Returns the Boolean value computed from the expression, given the variable evaluation. It panics if the evaluation is not possible, including:

• If a variable is not included in the evaluation;
• If a variable included in the evaluation is not of Boolean type.

Trait Implementations

impl<V> BitAnd for BooleanExpr<V>

where V: Clone,

type Output = BooleanExpr<V>

The resulting type after applying the & operator.

fn bitand(self, rhs: Self) -> Self::Output

Performs the & operation.

impl<V> BitOr for BooleanExpr<V>

where V: Clone,

type Output = BooleanExpr<V>

The resulting type after applying the | operator.

fn bitor(self, rhs: Self) -> Self::Output

Performs the | operation.

impl<V> Clone for BooleanExpr<V>

where V: Clone + Clone,

fn clone(&self) -> BooleanExpr<V>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<V> Debug for BooleanExpr<V>

where V: Clone + Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<V> From<bool> for BooleanExpr<V>

where V: Clone,

fn from(value: bool) -> Self

Converts to this type from the input type.

impl<V> Not for BooleanExpr<V>

where V: Clone,

type Output = BooleanExpr<V>

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl<V> TryFrom<Expression<V>> for BooleanExpr<V>

where V: Clone,

type Error = TypeError

The type returned in the event of a conversion error.

fn try_from(value: Expression<V>) -> Result<Self, Self::Error>

Performs the conversion.