Struct UnivConstraintSet 

pub struct UnivConstraintSet { /* private fields */ }

Universe level constraint set with satisfiability checking.

Implementations

impl UnivConstraintSet

pub fn new() -> Self

Create empty.

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

Add a constraint.

pub fn merge(&mut self, other: &Self)

Merge another set.

pub fn len(&self) -> usize

Number of constraints.

pub fn is_empty(&self) -> bool

Check if empty.

pub fn check_all(&self, checker: &UnivChecker) -> Result<(), String>

Check all constraints against a checker.

pub fn dedup(&mut self)

Deduplicate constraints.

Trait Implementations

impl Clone for UnivConstraintSet

fn clone(&self) -> UnivConstraintSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for UnivConstraintSet

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

Formats the value using the given formatter.

impl Default for UnivConstraintSet

fn default() -> UnivConstraintSet

Returns the “default value” for a type.