assume ( constraint -- )

Vocabulary

compiler.tree.propagation.constraints

Inputs

constraint

an object

Outputs

None

Definition

USING: kernel ;

IN: compiler.tree.propagation.constraints

: assume ( constraint -- )
    dup satisfied? [ drop ] [ assume* ] if ;