literal-constraint

Vocabulary

compiler.tree.propagation.constraints

Class description

A literal constraint.

Definition

IN: compiler.tree.propagation.constraints

TUPLE: literal-constraint value literal ;

Methods

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

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