post-order-traversal ( visited bb -- visited )

Vocabulary

compiler.cfg.rpo

Inputs

visited	an object
bb	an object

Outputs

visited

an object

Definition

USING: accessors kernel make sequences sets ;

IN: compiler.cfg.rpo

: post-order-traversal ( visited bb -- visited )
    dup pick ?adjoin [
        [
            successors>> <reversed>
            [ post-order-traversal ] each
        ] [ , ] bi
    ] [ drop ] if ; inline recursive