Struct ConstraintSet 

pub struct ConstraintSet { /* private fields */ }

A constraint set: a collection of level constraints.

Implementations

impl ConstraintSet

pub fn new() -> Self

Create an empty constraint set.

pub fn add(&mut self, c: LevelConstraint)

Add a constraint.

pub fn add_leq(&mut self, l1: Level, l2: Level)

Add a ≤ constraint.

pub fn add_eq(&mut self, l1: Level, l2: Level)

Add an = constraint.

pub fn all_satisfied(&self) -> bool

Check if all constraints are satisfied.

pub fn unsatisfied(&self) -> Vec<&LevelConstraint>

Return unsatisfied constraints.

pub fn len(&self) -> usize

Number of constraints.

pub fn is_empty(&self) -> bool

Whether the set is empty.

Trait Implementations

impl Clone for ConstraintSet

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConstraintSet

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

Formats the value using the given formatter.

impl Default for ConstraintSet

fn default() -> Self

Returns the “default value” for a type.