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.