Enum DomainStmt 

pub enum DomainStmt {
    IntervalDuration {
        intervals: Vec<String>,
        domain: Domain,
    },
    IntervalStart {
        intervals: Vec<String>,
        domain: Domain,
    },
    IntervalEnd {
        intervals: Vec<String>,
        domain: Domain,
    },
    IntervalOptional {
        intervals: Vec<String>,
    },
    IntegerDomain {
        name: String,
        domain: Domain,
    },
    SetDomain {
        name: String,
        members: Vec<String>,
    },
    RealDomain {
        name: String,
        domain: Domain,
    },
    Demand {
        interval: String,
        set: String,
        value: i64,
    },
}

A domain statement: bounds or assigns values to variables.

Variants

IntervalDuration

duration(x, y) = 3 or duration(x) in 2..5 or duration(x) in {2, 5, 7}

Fields

intervals: Vec<String>

Interval names this applies to.

domain: Domain

The domain specification.

IntervalStart

start(x, y) in 0..10

Fields

intervals: Vec<String>

Interval names this applies to.

domain: Domain

The domain specification.

IntervalEnd

end(x, y) in 0..20

Fields

intervals: Vec<String>

Interval names this applies to.

domain: Domain

The domain specification.

IntervalOptional

optional(x, y, z)

Fields

intervals: Vec<String>

Interval names marked as optional.

IntegerDomain

x in 0..100 or x in {1, 3, 5}

Fields

name: String

The integer variable name.

domain: Domain

The domain specification.

SetDomain

x = {a, b, c}

Fields

name: String

The set variable name.

members: Vec<String>

The member variable names.

RealDomain

x in 0.0..inf or x = 3.14 — real variable domain

Fields

name: String

The real variable name.

domain: Domain

The domain specification.

Demand

demand(interval, set) = value

Fields

interval: String

The interval variable name.

set: String

The set (resource) variable name.

value: i64

The demand value.

Trait Implementations

impl Clone for DomainStmt

fn clone(&self) -> DomainStmt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DomainStmt

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

Formats the value using the given formatter.

impl PartialEq for DomainStmt

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

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 DomainStmt