otawa::ilp::cons Class Reference

Encapsulation for ilp::Constraint pointers for {ilp} expr user-fiendly interface. More...

#include <otawa/ilp/expr.h>

Public Member Functions
	cons (void)
	cons (Constraint *cc)
cons	operator+ (const Term &t)
cons	operator- (const Term &t)
cons	operator+ (const Expression &e)
cons	operator- (const Expression &e)
cons	operator+= (const Term &t)
cons	operator-= (const Term &t)
cons	operator+= (const Expression &e)
cons	operator-= (const Expression &e)
cons	operator== (const Term &t)
cons	operator== (const Expression &f)
cons	operator<= (const Term &t)
cons	operator<= (const Expression &f)
cons	operator< (const Term &t)
cons	operator< (const Expression &f)
cons	operator>= (const Term &t)
cons	operator>= (const Expression &f)
cons	operator> (const Term &t)
cons	operator> (const Expression &f)
Constraint *	operator& (void) const
Constraint *	operator-> (void) const
void	free (void)

Private Member Functions
void	set (Constraint::comparator_t comp)

Private Attributes
bool	l
Constraint *	c

Detailed Description

Encapsulation for ilp::Constraint pointers for {ilp} expr user-fiendly interface.

Constructor & Destructor Documentation

otawa::ilp::cons::cons ( void  )

inline

otawa::ilp::cons::cons ( Constraint *  cc )

inline

Member Function Documentation

void otawa::ilp::cons::free ( void  )

inline

References c.

Constraint* otawa::ilp::cons::operator& ( void  ) const

inline

References c.

cons otawa::ilp::cons::operator+ ( const Term &  t )

inline

References otawa::ilp::Constraint::add(), c, l, and otawa::ilp::Constraint::sub().

cons otawa::ilp::cons::operator+ ( const Expression &  e )

inline

References otawa::ilp::Constraint::add(), c, l, and otawa::ilp::Constraint::sub().

cons otawa::ilp::cons::operator+= ( const Term &  t )

inline

References otawa::ilp::Constraint::add(), c, l, and otawa::ilp::Constraint::sub().

cons otawa::ilp::cons::operator+= ( const Expression &  e )

inline

References otawa::ilp::Constraint::add(), c, l, and otawa::ilp::Constraint::sub().

cons otawa::ilp::cons::operator- ( const Term &  t )

inline

References otawa::ilp::Constraint::add(), c, l, and otawa::ilp::Constraint::sub().

cons otawa::ilp::cons::operator- ( const Expression &  e )

inline

References otawa::ilp::Constraint::add(), c, l, and otawa::ilp::Constraint::sub().

cons otawa::ilp::cons::operator-= ( const Term &  t )

inline

References otawa::ilp::Constraint::add(), c, l, and otawa::ilp::Constraint::sub().

cons otawa::ilp::cons::operator-= ( const Expression &  e )

inline

References otawa::ilp::Constraint::add(), c, l, and otawa::ilp::Constraint::sub().

Constraint* otawa::ilp::cons::operator-> ( void  ) const

inline

References c.

cons otawa::ilp::cons::operator< ( const Term &  t )

inline

References otawa::ilp::Constraint::LT, and set().

cons otawa::ilp::cons::operator< ( const Expression &  f )

inline

References otawa::ilp::Constraint::LT, and set().

cons otawa::ilp::cons::operator<= ( const Term &  t )

inline

References otawa::ilp::Constraint::LE, and set().

cons otawa::ilp::cons::operator<= ( const Expression &  f )

inline

References otawa::ilp::Constraint::LE, and set().

cons otawa::ilp::cons::operator== ( const Term &  t )

inline

References otawa::ilp::Constraint::EQ, and set().

cons otawa::ilp::cons::operator== ( const Expression &  f )

inline

References otawa::ilp::Constraint::EQ, and set().

cons otawa::ilp::cons::operator> ( const Term &  t )

inline

References otawa::ilp::Constraint::GT, and set().

cons otawa::ilp::cons::operator> ( const Expression &  f )

inline

References otawa::ilp::Constraint::GT, and set().

cons otawa::ilp::cons::operator>= ( const Term &  t )

inline

References otawa::ilp::Constraint::GE, and set().

cons otawa::ilp::cons::operator>= ( const Expression &  f )

inline

References otawa::ilp::Constraint::GE, and set().

void otawa::ilp::cons::set ( Constraint::comparator_t  comp )

inlineprivate

References c, l, and otawa::ilp::Constraint::setComparator().

Referenced by operator<(), operator<=(), operator==(), operator>(), and operator>=().

Member Data Documentation

Constraint* otawa::ilp::cons::c

private

Referenced by free(), operator&(), operator+(), operator+=(), operator-(), operator-=(), operator->(), and set().

bool otawa::ilp::cons::l

private

Referenced by operator+(), operator+=(), operator-(), operator-=(), and set().

---

The documentation for this class was generated from the following file:

• include/otawa/ilp/expr.h