Enum NonNegatedBooleanExpression 

pub enum NonNegatedBooleanExpression<T: Atomic> {
    ComparisonExpression(Box<IntegerExpression<T>>, ComparisonOp, Box<IntegerExpression<T>>),
    BinaryExpression(Box<NonNegatedBooleanExpression<T>>, BooleanConnective, Box<NonNegatedBooleanExpression<T>>),
    True,
    False,
}

Boolean expressions that do not contain a Not

Variants

ComparisonExpression(Box<IntegerExpression<T>>, ComparisonOp, Box<IntegerExpression<T>>)

Comparison between two integer expressions

BinaryExpression(Box<NonNegatedBooleanExpression<T>>, BooleanConnective, Box<NonNegatedBooleanExpression<T>>)

Boolean expressions combined through boolean connective

True

true

False

false

Trait Implementations

impl<T: Clone + Atomic> Clone for NonNegatedBooleanExpression<T>

fn clone(&self) -> NonNegatedBooleanExpression<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug + Atomic> Debug for NonNegatedBooleanExpression<T>

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

Formats the value using the given formatter.

impl<T: Atomic> Display for NonNegatedBooleanExpression<T>

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

Formats the value using the given formatter.

impl<T: Atomic> From<BooleanExpression<T>> for NonNegatedBooleanExpression<T>

fn from(val: BooleanExpression<T>) -> Self

Converts to this type from the input type.

impl<T: PartialEq + Atomic> PartialEq for NonNegatedBooleanExpression<T>

fn eq(&self, other: &NonNegatedBooleanExpression<T>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl TryFrom<NonNegatedBooleanExpression<Variable>> for LIAVariableConstraint

fn try_from( value: NonNegatedBooleanExpression<Variable>, ) -> Result<Self, Self::Error>

Parse the NonNegatedBooleanExpression into a LIAVariableConstraint by converting into weighted sums of parameters and variables

type Error = ConstraintRewriteError

The type returned in the event of a conversion error.

impl<T: Atomic> StructuralPartialEq for NonNegatedBooleanExpression<T>