def _df_construct(self, postdom):

        DF = { }

        # Perform a post-order search on the post-dom tree
        for x in networkx.dfs_postorder_nodes(postdom):
            DF[x] = set()

            # local set
            for y in self._normalized_cfg.successors_iter(x):
                if x not in postdom.predecessors(y):
                    DF[x].add(y)

            # up set
            if x is None:
                continue

            for z in postdom.successors(x):
                if z is x:
                    continue
                if z not in DF:
                    continue
                for y in DF[z]:
                    if x not in postdom.predecessors(y):
                        DF[x].add(y)

        return DF

    #
    # Post-dominator tree related
    #
Return the Turtleobject itself.
dataset/ETHPy150Open angr/angr/angr/analyses/cdg.py/CDG._df_construct--crossover with--dataset/ETHPy150Open amrdraz/kodr/app/brython/www/src/Lib/site-packages/turtle.py/RawTurtle.getturtle