update-in-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: assocs ;

IN: compiler.cfg.dataflow-analysis.private

:: update-in-set ( bb in-sets out-sets dfa -- ? )
    bb out-sets dfa compute-in-set bb in-sets maybe-set-at ;
    inline