Factor Documentation
|
Home
|
Glossary
|
Search
factorcode.org
assume-implication ( q p -- )
Vocabulary
compiler.tree.propagation.constraints
Inputs and outputs
q
an
object
p
an
object
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
;