Handbook
Glossary
update-in/out-set ( bb in-sets out-sets dfa -- ? )
Vocabulary
compiler
.
cfg
.
dataflow-analysis
.
private
Inputs
bb
an
object
in-sets
an
object
out-sets
an
object
dfa
an
object
Outputs
?
an
object
Definition
USING:
combinators.short-circuit
;
IN:
compiler.cfg.dataflow-analysis.private
:
update-in/out-set
( bb in-sets out-sets dfa -- ? )
{
[
update-in-set
]
[
update-out-set
]
}
4
n&&
;