predicate-constraints ( value class boolean-value -- constraint )

Vocabulary

compiler.tree.propagation.simple

Inputs

value	an object
class	an object
boolean-value	an object

Outputs

constraint

an object

Definition

USING: arrays classes.algebra
compiler.tree.propagation.constraints kernel ;

IN: compiler.tree.propagation.simple

: predicate-constraints
    ( value class boolean-value -- constraint )
    [ [ is-instance-of ] dip t--> ]
    [ [ class-not is-instance-of ] dip f--> ] 3bi 2array ;