#include <math.h>
#include <elm/genstruct/HashTable.h>
#include <otawa/prog/sem.h>
#include <otawa/prog/Process.h>
#include <otawa/hard/Register.h>
#include <otawa/proc/CFGProcessor.h>
#include <otawa/util/LoopInfoBuilder.h>
#include <otawa/cfg/Virtualizer.h>
#include <otawa/dfa/hai/HalfAbsInt.h>
#include <otawa/dfa/hai/WideningListener.h>
#include <otawa/dfa/hai/WideningFixPoint.h>
#include <otawa/data/clp/ClpValue.h>
#include <otawa/data/clp/ClpState.h>
#include <otawa/data/clp/ClpAnalysis.h>
#include <otawa/data/clp/ClpPack.h>
#include <otawa/data/clp/DeadCodeAnalysis.h>
#include <otawa/data/clp/SymbolicExpr.h>
#include <otawa/util/FlowFactLoader.h>
#include <otawa/ipet/FlowFactLoader.h>
#include <otawa/hard/Platform.h>
#include <elm/genstruct/quicksort.h>
#include <otawa/ipet/features.h>
#include <otawa/data/clp/features.h>
#include <otawa/hard/Memory.h>
#include <otawa/dfa/State.h>

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

	otawa::clp

Macros
#define	TRACES(t)

#define	TRACED(t)

#define	TRACEP(t)

#define	TRACEU(t)

#define	TRACEI(t)

#define	TRACESI(t)

#define	TRACEA(t)

#define	TRACEJ(t)

#define	ALARM_STORE_TOP(t)

#define	DATA_LOADER

#define	CLP_START ""

#define	CLP_END ", "

Functions
long	otawa::clp::lcm (long a, long b)
	Return the lcm of two long integers. More...

intn_t	otawa::clp::min (intn_t a, intn_t b)
	Return the min with a signed comparison. More...

intn_t	otawa::clp::max (intn_t a, intn_t b)
	Return the max with a signed comparison. More...

uintn_t	otawa::clp::umin (uintn_t a, uintn_t b)
	Return the min with an unsigned comparison. More...

uintn_t	otawa::clp::umax (uintn_t a, uintn_t b)
	Return the max with an usigned comparison. More...

io::Output &	otawa::clp::operator<< (io::Output &out, const State &state)

SilentFeature	otawa::clp::FEATURE ("otawa::clp::FEATURE", maker)
	This features ensure that the clp analysis has been identified. More...

Identifier< clp::State >	otawa::clp::STATE_IN ("otawa::clp::STATE_IN")
	Put on a basic block, it's the CLP state at the begining of the block. More...

Identifier< clp::State >	otawa::clp::STATE_OUT ("otawa::clp::STATE_OUT")
	Put on a basic block, it's the CLP state at the end of the block. More...

Feature< DeadCodeAnalysis >	otawa::DEAD_CODE_ANALYSIS_FEATURE ("otawa::DEAD_CODE_ANALYSIS_FEATURE")

Identifier< bool >	otawa::NEVER_TAKEN ("otawa::NEVER_TAKEN")