expr.h File Reference

#include <otawa/ilp/System.h>

Go to the source code of this file.

Classes
class	otawa::ilp::var
	Encapsulation for ilp::Var pointers for {ilp} expr user-fiendly interface. More...
class	otawa::ilp::cons
	Encapsulation for ilp::Constraint pointers for {ilp} expr user-fiendly interface. More...
class	otawa::ilp::model
	Encapsulation for ilp::System pointers for {ilp} expr user-fiendly interface. More...

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

Functions
var	otawa::ilp::x (Var *v)
	Convert an ilp::Var * to a var. More...
Term	otawa::ilp::operator* (coef_t c, var v)
Term	otawa::ilp::operator* (var v, coef_t c)
Expression	otawa::ilp::operator+ (const Term &t1, const Term &t2)
Expression	otawa::ilp::operator- (const Term &t1, const Term &t2)
Expression	otawa::ilp::operator+ (const Expression &e, const Term &t)
Expression	otawa::ilp::operator- (const Expression &e, const Term &t)