interval-constraint

Vocabulary

compiler.tree.propagation.constraints

Class description

An interval constraint.

Definition

IN: compiler.tree.propagation.constraints

TUPLE: interval-constraint value interval ;

Methods

USING: accessors compiler.tree.propagation.constraints
compiler.tree.propagation.info kernel ;

M: interval-constraint assume*
    [ interval>> <interval-info> ] [ value>> ] bi
    refine-value-info ;