otawa::ilp::model Class Reference

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

#include <otawa/ilp/expr.h>

Public Member Functions
	model (System *s)
cons	operator() (void) const
cons	operator() (const string &label) const
System *	operator& (void) const
System *	operator-> (void) const
	operator System * (void) const

Private Attributes
System *	_s

Detailed Description

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

Notice the function call operators that allows to create a new constraint without, operator(), or with a label, operator(const string&).

Constructor & Destructor Documentation

otawa::ilp::model::model ( System *  s )

inline

Member Function Documentation

otawa::ilp::model::operator System * ( void  ) const

inline

References _s.

System* otawa::ilp::model::operator& ( void  ) const

inline

References _s.

cons otawa::ilp::model::operator() ( void  ) const

inline

References _s, otawa::ilp::System::newConstraint(), and otawa::ilp::Constraint::UNDEF.

cons otawa::ilp::model::operator() ( const string &  label ) const

inline

References _s, otawa::ilp::System::newConstraint(), otawa::ilp::Constraint::setLabel(), and otawa::ilp::Constraint::UNDEF.

System* otawa::ilp::model::operator-> ( void  ) const

inline

References _s.

Member Data Documentation

System* otawa::ilp::model::_s

private

Referenced by operator System *(), operator&(), operator()(), and operator->().

---

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

• include/otawa/ilp/expr.h