true-constraint
Support for predicated value info

Next:

false-constraint

Vocabulary
compiler.tree.propagation.constraints

Definition

IN: compiler.tree.propagation.constraints

TUPLE: true-constraint value ;

Methods

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

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


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

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