Enum Constraint

#[non_exhaustive]
pub enum Constraint {
    Difference(TwoVars, Var),
    Div(TwoVars, Var),
    DivUndefZero(TwoVars, Var),
    Modulo(TwoVars, Var),
    ModuloUndefZero(TwoVars, Var),
    Pow(TwoVars, Var),
    Product(TwoVars, Var),
    WeightedSumGeq(Vec<Constant>, Vec<Var>, Var),
    WeightedSumLeq(Vec<Constant>, Vec<Var>, Var),
    CheckAssign(Box<Constraint>),
    CheckGsa(Box<Constraint>),
    ForwardChecking(Box<Constraint>),
    Reify(Box<Constraint>, Var),
    ReifyImply(Box<Constraint>, Var),
    ReifyImplyQuick(Box<Constraint>, Var),
    WatchedAnd(Vec<Constraint>),
    WatchedOr(Vec<Constraint>),
    GacAllDiff(Vec<Var>),
    AllDiff(Vec<Var>),
    AllDiffMatrix(Vec<Var>, Constant),
    WatchSumGeq(Vec<Var>, Constant),
    WatchSumLeq(Vec<Var>, Constant),
    OccurrenceGeq(Vec<Var>, Constant, Constant),
    OccurrenceLeq(Vec<Var>, Constant, Constant),
    Occurrence(Vec<Var>, Constant, Var),
    LitSumGeq(Vec<Var>, Vec<Constant>, Constant),
    Gcc(Vec<Var>, Vec<Constant>, Vec<Var>),
    GccWeak(Vec<Var>, Vec<Constant>, Vec<Var>),
    LexLeqRv(Vec<Var>, Vec<Var>),
    LexLeq(Vec<Var>, Vec<Var>),
    LexLess(Vec<Var>, Vec<Var>),
    LexLeqQuick(Vec<Var>, Vec<Var>),
    LexLessQuick(Vec<Var>, Vec<Var>),
    WatchVecNeq(Vec<Var>, Vec<Var>),
    WatchVecExistsLess(Vec<Var>, Vec<Var>),
    Hamming(Vec<Var>, Vec<Var>, Constant),
    NotHamming(Vec<Var>, Vec<Var>, Constant),
    FrameUpdate(Vec<Var>, Vec<Var>, Vec<Var>, Vec<Var>, Constant),
    NegativeTable(Vec<Var>, Vec<Tuple>),
    Table(Vec<Var>, Vec<Tuple>),
    GacSchema(Vec<Var>, Vec<Tuple>),
    LightTable(Vec<Var>, Vec<Tuple>),
    Mddc(Vec<Var>, Vec<Tuple>),
    NegativeMddc(Vec<Var>, Vec<Tuple>),
    Str2Plus(Vec<Var>, Var),
    Max(Vec<Var>, Var),
    Min(Vec<Var>, Var),
    NvalueGeq(Vec<Var>, Var),
    NvalueLeq(Vec<Var>, Var),
    SumLeq(Vec<Var>, Var),
    SumGeq(Vec<Var>, Var),
    Element(Vec<Var>, Var, Var),
    ElementOne(Vec<Var>, Var, Var),
    ElementUndefZero(Vec<Var>, Var, Var),
    WatchElement(Vec<Var>, Var, Var),
    WatchElementOne(Vec<Var>, Var, Var),
    WatchElementOneUndefZero(Vec<Var>, Var, Var),
    WatchElementUndefZero(Vec<Var>, Var, Var),
    WLiteral(Var, Constant),
    WNotLiteral(Var, Constant),
    WInIntervalSet(Var, Vec<Constant>),
    WInRange(Var, Vec<Constant>),
    WInset(Var, Vec<Constant>),
    WNotInRange(Var, Vec<Constant>),
    WNotInset(Var, Vec<Constant>),
    Abs(Var, Var),
    DisEq(Var, Var),
    Eq(Var, Var),
    MinusEq(Var, Var),
    GacEq(Var, Var),
    WatchLess(Var, Var),
    WatchNeq(Var, Var),
    Ineq(Var, Var, Constant),
    False,
    True,
}

All supported Minion constraints.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Difference(TwoVars, Var)

Div(TwoVars, Var)

DivUndefZero(TwoVars, Var)

Modulo(TwoVars, Var)

ModuloUndefZero(TwoVars, Var)

Pow(TwoVars, Var)

Product(TwoVars, Var)

WeightedSumGeq(Vec<Constant>, Vec<Var>, Var)

WeightedSumLeq(Vec<Constant>, Vec<Var>, Var)

CheckAssign(Box<Constraint>)

CheckGsa(Box<Constraint>)

ForwardChecking(Box<Constraint>)

Reify(Box<Constraint>, Var)

ReifyImply(Box<Constraint>, Var)

ReifyImplyQuick(Box<Constraint>, Var)

WatchedAnd(Vec<Constraint>)

WatchedOr(Vec<Constraint>)

GacAllDiff(Vec<Var>)

AllDiff(Vec<Var>)

AllDiffMatrix(Vec<Var>, Constant)

WatchSumGeq(Vec<Var>, Constant)

WatchSumLeq(Vec<Var>, Constant)

OccurrenceGeq(Vec<Var>, Constant, Constant)

OccurrenceLeq(Vec<Var>, Constant, Constant)

Occurrence(Vec<Var>, Constant, Var)

LitSumGeq(Vec<Var>, Vec<Constant>, Constant)

Gcc(Vec<Var>, Vec<Constant>, Vec<Var>)

GccWeak(Vec<Var>, Vec<Constant>, Vec<Var>)

LexLeqRv(Vec<Var>, Vec<Var>)

LexLeq(Vec<Var>, Vec<Var>)

LexLess(Vec<Var>, Vec<Var>)

LexLeqQuick(Vec<Var>, Vec<Var>)

LexLessQuick(Vec<Var>, Vec<Var>)

WatchVecNeq(Vec<Var>, Vec<Var>)

WatchVecExistsLess(Vec<Var>, Vec<Var>)

Hamming(Vec<Var>, Vec<Var>, Constant)

NotHamming(Vec<Var>, Vec<Var>, Constant)

FrameUpdate(Vec<Var>, Vec<Var>, Vec<Var>, Vec<Var>, Constant)

NegativeTable(Vec<Var>, Vec<Tuple>)

Table(Vec<Var>, Vec<Tuple>)

GacSchema(Vec<Var>, Vec<Tuple>)

LightTable(Vec<Var>, Vec<Tuple>)

Mddc(Vec<Var>, Vec<Tuple>)

NegativeMddc(Vec<Var>, Vec<Tuple>)

Str2Plus(Vec<Var>, Var)

Max(Vec<Var>, Var)

Min(Vec<Var>, Var)

NvalueGeq(Vec<Var>, Var)

NvalueLeq(Vec<Var>, Var)

SumLeq(Vec<Var>, Var)

SumGeq(Vec<Var>, Var)

Element(Vec<Var>, Var, Var)

ElementOne(Vec<Var>, Var, Var)

ElementUndefZero(Vec<Var>, Var, Var)

WatchElement(Vec<Var>, Var, Var)

WatchElementOne(Vec<Var>, Var, Var)

WatchElementOneUndefZero(Vec<Var>, Var, Var)

WatchElementUndefZero(Vec<Var>, Var, Var)

WLiteral(Var, Constant)

WNotLiteral(Var, Constant)

WInIntervalSet(Var, Vec<Constant>)

WInRange(Var, Vec<Constant>)

WInset(Var, Vec<Constant>)

WNotInRange(Var, Vec<Constant>)

WNotInset(Var, Vec<Constant>)

Abs(Var, Var)

DisEq(Var, Var)

Eq(Var, Var)

MinusEq(Var, Var)

GacEq(Var, Var)

WatchLess(Var, Var)

WatchNeq(Var, Var)

Ineq(Var, Var, Constant)

False

True

Trait Implementations

impl Clone for Constraint

fn clone(&self) -> Constraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Constraint

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

Formats the value using the given formatter.

impl Display for Constraint

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

Formats the value using the given formatter.

impl PartialEq for Constraint

fn eq(&self, other: &Constraint) -> bool

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

const 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 Eq for Constraint

impl StructuralPartialEq for Constraint

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 104 bytes

Size for each variant:

• Difference: 80 bytes
• Div: 80 bytes
• DivUndefZero: 80 bytes
• Modulo: 80 bytes
• ModuloUndefZero: 80 bytes
• Pow: 80 bytes
• Product: 80 bytes
• WeightedSumGeq: 80 bytes
• WeightedSumLeq: 80 bytes
• CheckAssign: 16 bytes
• CheckGsa: 16 bytes
• ForwardChecking: 16 bytes
• Reify: 40 bytes
• ReifyImply: 40 bytes
• ReifyImplyQuick: 40 bytes
• WatchedAnd: 32 bytes
• WatchedOr: 32 bytes
• GacAllDiff: 32 bytes
• AllDiff: 32 bytes
• AllDiffMatrix: 40 bytes
• WatchSumGeq: 40 bytes
• WatchSumLeq: 40 bytes
• OccurrenceGeq: 48 bytes
• OccurrenceLeq: 48 bytes
• Occurrence: 64 bytes
• LitSumGeq: 64 bytes
• Gcc: 80 bytes
• GccWeak: 80 bytes
• LexLeqRv: 56 bytes
• LexLeq: 56 bytes
• LexLess: 56 bytes
• LexLeqQuick: 56 bytes
• LexLessQuick: 56 bytes
• WatchVecNeq: 56 bytes
• WatchVecExistsLess: 56 bytes
• Hamming: 64 bytes
• NotHamming: 64 bytes
• FrameUpdate: 104 bytes
• NegativeTable: 56 bytes
• Table: 56 bytes
• GacSchema: 56 bytes
• LightTable: 56 bytes
• Mddc: 56 bytes
• NegativeMddc: 56 bytes
• Str2Plus: 56 bytes
• Max: 56 bytes
• Min: 56 bytes
• NvalueGeq: 56 bytes
• NvalueLeq: 56 bytes
• SumLeq: 56 bytes
• SumGeq: 56 bytes
• Element: 80 bytes
• ElementOne: 80 bytes
• ElementUndefZero: 80 bytes
• WatchElement: 80 bytes
• WatchElementOne: 80 bytes
• WatchElementOneUndefZero: 80 bytes
• WatchElementUndefZero: 80 bytes
• WLiteral: 40 bytes
• WNotLiteral: 40 bytes
• WInIntervalSet: 56 bytes
• WInRange: 56 bytes
• WInset: 56 bytes
• WNotInRange: 56 bytes
• WNotInset: 56 bytes
• Abs: 56 bytes
• DisEq: 56 bytes
• Eq: 56 bytes
• MinusEq: 56 bytes
• GacEq: 56 bytes
• WatchLess: 56 bytes
• WatchNeq: 56 bytes
• Ineq: 64 bytes
• False: 0 bytes
• True: 0 bytes