Otawa  0.10
System.h File Reference
#include <elm/io/OutStream.h>
#include <elm/string.h>
#include <otawa/ilp/Constraint.h>
#include <elm/datastruct/Iterator.h>
#include <otawa/proc/Monitor.h>
#include "features.h"

Go to the source code of this file.

Classes

class  otawa::ilp::System
 An ILP system is a colletion of ILP constraint that may maximize or minimize some object function. More...
 
class  otawa::ilp::System::ConstIterator
 
class  otawa::ilp::System::ObjTermIterator
 

Namespaces

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