util_PostDominance.cpp File Reference

#include <otawa/util/PostDominance.h>
#include <otawa/dfa/IterativeDFA.h>
#include <otawa/dfa/BitSet.h>
#include <otawa/cfg.h>
#include <otawa/prop/DeletableProperty.h>

Namespaces
	otawa
	$Id$ Copyright (c) 2007, IRIT - UPS casse.nosp@m.@iri.nosp@m.t.fr

Functions
Identifier< BitSet * >	otawa::REVERSE_POSTDOM ("otawa::REVERSE_POSTDOM", 0)
	Identifier of annotation containing reverse-postdominance information. More...
Feature< PostDominance >	otawa::POSTDOMINANCE_FEATURE ("otawa::POSTDOMINANCE_FEATURE")
	This feature ensures that information about postdomination between nodes of a CFG is vailable. More...