class-constraint

Vocabulary

compiler.tree.propagation.constraints

Class description

A class constraint.

Definition

IN: compiler.tree.propagation.constraints

TUPLE: class-constraint value class ;

Methods

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

M: class-constraint assume*
    [ class>> <class-info> ] [ value>> ] bi refine-value-info ;