satisfied? ( constraint -- ? )

Vocabulary

compiler.tree.propagation.constraints

Inputs

constraint

a constraint

Outputs

?

a boolean

Word description

The name satisfied? is imprecise. This word is used to prevent infinite loops, so it is only implemented for true-constraint and false-constraint.

Definition

IN: compiler.tree.propagation.constraints

GENERIC: satisfied? ( constraint -- ? )

Methods

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

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


USING: compiler.tree.propagation.constraints kernel ;

M: object satisfied? drop f ;


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

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