flowfact_ContextualLoopBound.cpp File Reference

#include <otawa/flowfact/ContextualLoopBound.h>
#include <otawa/flowfact/features.h>

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

Functions
Identifier< ContextualLoopBound * >	otawa::CONTEXTUAL_LOOP_BOUND ("otawa::CONTEXTUAL_LOOP_BOUND", 0)
	This property provides context-dependent loop bounds. More...