Enum Constraint 

pub enum Constraint {
    Unary {
        var: String,
        predicate: UnaryPredicate,
    },
    Binary {
        var1: String,
        var2: String,
        relation: BinaryRelation,
    },
    NAry {
        vars: Vec<String>,
        relation: NAryRelation,
    },
    Global {
        constraint_type: GlobalConstraintType,
        vars: Vec<String>,
        params: HashMap<String, i64>,
    },
}

A constraint between variables.

Variants

Unary

Unary constraint: predicate on single variable

Fields

var: String

predicate: UnaryPredicate

Binary

Binary constraint: relation between two variables

Fields

var1: String

var2: String

relation: BinaryRelation

NAry

N-ary constraint: relation among multiple variables

Fields

vars: Vec<String>

relation: NAryRelation

Global

Global constraint: high-level constraint pattern

Fields

constraint_type: GlobalConstraintType

vars: Vec<String>

params: HashMap<String, i64>

Implementations

impl Constraint

pub fn less_than(var1: impl Into<String>, var2: impl Into<String>) -> Self

Create a binary less-than constraint.

pub fn sum_equals(vars: Vec<impl Into<String>>, sum: i64) -> Self

Create an n-ary sum-equals constraint.

pub fn all_different(vars: Vec<impl Into<String>>) -> Self

Create an all-different constraint.

pub fn variables(&self) -> Vec<&str>

Get all variables involved in this constraint.

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<'de> Deserialize<'de> for Constraint

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

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