AbsIntLite.h File Reference

#include <elm/genstruct/VectorQueue.h>
#include <elm/util/BitVector.h>

Go to the source code of this file.

Classes
class	otawa::dfa::AbsIntLiteEx< G, T >
class	otawa::dfa::AbsIntLiteEx< G, T >::DomainIter
class	otawa::dfa::AbsIntLiteExtender< G, D >
class	otawa::dfa::AbsIntLite< G, T >
	This class provides a light implementation for abstract interpretation. More...

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

Macros
#define	OTAWA_AILD(x)

Macro Definition Documentation

#define OTAWA_AILD

(

x

)

Referenced by otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::in(), otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::process(), and otawa::dfa::AbsIntLiteEx< G, AbsIntLiteExtender< G, T > >::step().