Otawa  0.10
AbstractSystem.h File Reference
#include <elm/genstruct/FragTable.h>
#include <otawa/ilp/Expression.h>
#include <otawa/ilp/System.h>

Go to the source code of this file.

Classes

class  otawa::ilp::AbstractConstraint
 Constraint generated by AbstractSystem. More...
 
class  otawa::ilp::AbstractConstraint::TermIter
 
class  otawa::ilp::AbstractSystem
 This class provides a convenient way to handle ILP systems in OTAWA. More...
 
class  otawa::ilp::AbstractSystem::AbstractVar
 
class  otawa::ilp::AbstractSystem::ConstIter
 
class  otawa::ilp::AbstractSystem::VarIter
 

Namespaces

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