false-constraint
Support for predicated value info

Prev:	true-constraint
Next:	t--> ( constraint boolean-value -- constraint' )

Vocabulary
compiler.tree.propagation.constraints

Definition

IN: compiler.tree.propagation.constraints

TUPLE: false-constraint value ;

Methods

USING: accessors compiler.tree.propagation.constraints
compiler.tree.propagation.info kernel ;

M: false-constraint assume*
    [ \ f <class-info> swap value>> refine-value-info ]
    [ follow-implications ] bi ;


USING: accessors compiler.tree.propagation.constraints
compiler.tree.propagation.info kernel ;

M: false-constraint satisfied?
    value>> value-info* [ class>> false-class? ] [ drop f ] if ;