init-interval ( info -- info )


Vocabulary
compiler.tree.propagation.info

Inputs
infoan object


Outputs
infoan object


Definition
USING: accessors classes.algebra kernel math math.intervals ;

IN: compiler.tree.propagation.info

: init-interval ( info -- info )
dup [ interval>> full-interval or ] [ class>> ] bi
wrap-interval >>interval dup class>> integer class<=
[ [ integral-closure ] change-interval ] when ; inline