Otawa
0.10
|
#include <otawa/properties.h>
Go to the source code of this file.
Namespaces | |
otawa | |
$Id$ Copyright (c) 2007, IRIT - UPS casse @iri t.fr | |
Variables | |
Identifier< ContextualLoopBound * > | otawa::CONTEXTUAL_LOOP_BOUND |
This property provides context-dependent loop bounds. More... | |