Handbook Glossary
factorcode.org
assume-implication ( q p -- )


Vocabulary
compiler.tree.propagation.constraints

Inputs
qan object
pan object


Outputs
None

Definition
USING: assocs kernel namespaces sequences ;

IN: compiler.tree.propagation.constraints

: assume-implication ( q p -- )
[
constraints get [ assoc-stack maybe-add ] 2keep
last set-at
] [ satisfied? [ assume ] [ drop ] if ] 2bi ;