Skip to main content

IntervalConstraint

Trait IntervalConstraint 

Source
pub trait IntervalConstraint {
    // Required method
    fn propagate(&self, box_: &mut [Interval]) -> bool;
}
Expand description

Simple constraint propagation over interval boxes.

An IntervalConstraint narrows an interval box by propagating known relationships between variables.

Required Methods§

Source

fn propagate(&self, box_: &mut [Interval]) -> bool

Try to narrow the given interval box. Returns true if narrowing occurred.

Implementors§