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

Vocabulary

compiler.tree.propagation.known-words

Inputs

in1	an object
in2	an object
out	an object
op	an object

Outputs

constraint

an object

Definition

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

IN: compiler.tree.propagation.known-words

:: comparison-constraints ( in1 in2 out op -- constraint )
    in1 in2 op (comparison-constraints) out t-->
    in1 in2 op negate-comparison (comparison-constraints)
    out f--> 2array ;