(comparison-constraints) ( in1 in2 op -- constraint )

Vocabulary

compiler.tree.propagation.known-words

Inputs

in1	an object
in2	an object
op	an object

Outputs

constraint

an object

Definition

USING: accessors arrays compiler.tree.comparisons
compiler.tree.propagation.constraints
compiler.tree.propagation.info ;

IN: compiler.tree.propagation.known-words

:: (comparison-constraints) ( in1 in2 op -- constraint )
    in1 value-info interval>> :> i1 in2 value-info interval>>
    :> i2 in1 i1 i2 op assumption is-in-interval
    in2 i2 i1 op swap-comparison assumption is-in-interval
    2array ;