Enum WeigthConstraintType 

pub enum WeigthConstraintType {
    ImplicationLeft = -1,
    ImplicationRight = 1,
    Equivalence = 0,
}

Enumeration of weight_constraint_types.

Variants

ImplicationLeft = -1

The weight constraint implies the literal

ImplicationRight = 1

The literal implies the weight constraint

Equivalence = 0

The weight constraint is equivalent to the literal

Trait Implementations

impl Clone for WeigthConstraintType

fn clone(&self) -> WeigthConstraintType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WeigthConstraintType

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

Formats the value using the given formatter.

impl Copy for WeigthConstraintType