Enum Constraint 

pub enum Constraint {
    NoOverlap {
        intervals: Vec<String>,
    },
    Cumulative {
        set: String,
        capacity: Expr,
    },
    Span {
        parent: String,
        set: String,
    },
    Alternative {
        parent: String,
        set: String,
    },
    Comparison {
        left: Expr,
        op: CmpOp,
        right: Expr,
    },
}

A constraint in the CP model.

Variants

NoOverlap

no_overlap(set_or_interval, ...)

Fields

intervals: Vec<String>

The intervals or set names (no two may overlap).

Cumulative

cumulative(set, capacity)

Fields

set: String

The set (resource) variable name.

capacity: Expr

The capacity expression.

Span

span(parent, set) — parent covers earliest start to latest end of present children.

Fields

parent: String

The parent interval.

set: String

The set of child intervals.

Alternative

alternative(parent, set) — exactly one interval from set is present.

Fields

parent: String

The parent interval representing the chosen one.

set: String

The set of candidate intervals.

Comparison

<expr> <op> <expr>

Fields

left: Expr

Left-hand side expression.

op: CmpOp

Comparison operator.

right: Expr

Right-hand side expression.

Trait Implementations

impl Clone for Constraint

fn clone(&self) -> Constraint

Returns a duplicate of the value.

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 PartialEq for Constraint

fn eq(&self, other: &Constraint) -> 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 Serialize for Constraint

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Constraint