dfa_hai_HalfAbsInt.cpp File Reference

#include <otawa/dfa/hai/HalfAbsInt.h>
#include <elm/genstruct/Vector.h>

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

Functions
Identifier< bool >	otawa::dfa::hai::FIXED ("otawa::util::fixed", false)
	This property is attached to the loop headers, and is true if the FixPoint for the associated loop has been reached. More...
Identifier< bool >	otawa::dfa::hai::FIRST_ITER ("otawa::util::first_iter", true)
	This property is attached for the loop header, and is true if the first iteration of the associated loop is not done yet. More...
Identifier< bool >	otawa::dfa::hai::HAI_DONT_ENTER ("otawa::util::hai_dont_enter", false)
	This property, when set to TRUE on a BasicBlock or a CFG, prevents HalfAbsInt from following edges to this BasicBlock or CFG. More...
Identifier< BasicBlock * >	otawa::dfa::hai::HAI_BYPASS_SOURCE ("otawa::util::HAI_BYPASS_SOURCE", 0)
	This property enables the user to create a virtual "bypass" edge from the source block to the target block. More...
Identifier< BasicBlock * >	otawa::dfa::hai::HAI_BYPASS_TARGET ("otawa::util::HAI_BYPASS_TARGET", 0)