empty-set? ( info -- ? )

Vocabulary

compiler.tree.propagation.info

Inputs

info

an object

Outputs

?

an object

Definition

USING: accessors classes.algebra combinators.short-circuit math
math.intervals ;

IN: compiler.tree.propagation.info

: empty-set? ( info -- ? )
    {
        [ class>> null-class? ]
        [
            {
                [ interval>> empty-interval? ]
                [ class>> real class<= ]
            } 1&&
        ]
    } 1|| ;