Trait Constraint 

pub trait Constraint:
    Display
    + Debug
    + Send
    + Sync {
    // Required methods
    fn matches(&self, other: &dyn Constraint) -> bool;
    fn lower_bound(&self) -> Bound;
    fn upper_bound(&self) -> Bound;

    // Provided methods
    fn pretty_string(&self) -> String { ... }
    fn set_pretty_string(&mut self, _pretty: String) { ... }
    fn is_match_all(&self) -> bool { ... }
    fn is_match_none(&self) -> bool { ... }
    fn as_single(&self) -> Option<&SingleConstraint> { ... }
    fn as_multi(&self) -> Option<&MultiConstraint> { ... }
}

Core trait for all constraint types.

Required Methods

fn matches(&self, other: &dyn Constraint) -> bool

Check if this constraint matches/intersects with another.

fn lower_bound(&self) -> Bound

Get the lower bound of this constraint.

fn upper_bound(&self) -> Bound

Get the upper bound of this constraint.

Provided Methods

fn pretty_string(&self) -> String

Get a human-readable representation.

fn set_pretty_string(&mut self, _pretty: String)

Set a custom pretty string (for preserving user input).

fn is_match_all(&self) -> bool

Check if this is a MatchAllConstraint.

fn is_match_none(&self) -> bool

Check if this is a MatchNoneConstraint.

fn as_single(&self) -> Option<&SingleConstraint>

Try to downcast to SingleConstraint.

fn as_multi(&self) -> Option<&MultiConstraint>

Try to downcast to MultiConstraint.

Implementors

impl Constraint for MatchAllConstraint

impl Constraint for MatchNoneConstraint

impl Constraint for MultiConstraint

impl Constraint for SingleConstraint