Constraint.h File Reference

#include <otawa/ilp/Var.h>
#include <elm/datastruct/Iterator.h>
#include <elm/utility.h>
#include "Expression.h"

Go to the source code of this file.

Classes
class	otawa::ilp::Constraint
	This class is used to represent constraints in an ILP system with the following form: More...
class	otawa::ilp::Constraint::TermIterator

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

Functions
io::Output &	otawa::ilp::operator<< (io::Output &out, Constraint::comparator_t comp)
io::Output &	otawa::ilp::operator<< (io::Output &out, const Term &t)