Otawa  0.10
Public Member Functions | Public Attributes | Private Attributes | List of all members
otawa::MAYProblem::Domain Class Reference

#include <otawa/cache/cat2/MAYProblem.h>

Public Member Functions

 Domain (const int _size, const int _A)
 
 ~Domain ()
 
 Domain (const Domain &source)
 
Domain & operator= (const Domain &src)
 
void glb (const Domain &dom)
 
void lub (const Domain &dom)
 
int getSize (void)
 
void addDamage (const int id, const int damage)
 
bool equals (const Domain &dom) const
 
void empty ()
 
bool contains (const int id)
 
void inject (const int id)
 
void print (elm::io::Output &output) const
 
int getAge (int id) const
 
void setAge (const int id, const int _age)
 

Public Attributes

int * age
 

Private Attributes

int A
 
int size
 

Constructor & Destructor Documentation

otawa::MAYProblem::Domain::Domain ( const int  _size,
const int  _A 
)
inline

References age, and size.

otawa::MAYProblem::Domain::~Domain ( )
inline

References age.

otawa::MAYProblem::Domain::Domain ( const Domain &  source)
inline

References age, and size.

Member Function Documentation

void otawa::MAYProblem::Domain::addDamage ( const int  id,
const int  damage 
)
inline

References A, and age.

bool otawa::MAYProblem::Domain::contains ( const int  id)
inline

References age.

Referenced by inject(), and otawa::CAT2Builder::processLBlockSet().

void otawa::MAYProblem::Domain::empty ( )
inline

References age, and size.

Referenced by otawa::MAYProblem::MAYProblem().

bool otawa::MAYProblem::Domain::equals ( const Domain &  dom) const
inline

References A, age, and size.

Referenced by otawa::MAYProblem::equals().

int otawa::MAYProblem::Domain::getAge ( int  id) const
inline

References age.

int otawa::MAYProblem::Domain::getSize ( void  )
inline

References size.

void otawa::MAYProblem::Domain::glb ( const Domain &  dom)
inline
void otawa::MAYProblem::Domain::inject ( const int  id)
inline

References A, age, contains(), and size.

Referenced by otawa::MAYProblem::update().

void otawa::MAYProblem::Domain::lub ( const Domain &  dom)
inline

References A, age, and size.

Referenced by otawa::MAYProblem::lub().

Domain& otawa::MAYProblem::Domain::operator= ( const Domain &  src)
inline

References A, age, and size.

void otawa::MAYProblem::Domain::print ( elm::io::Output &  output) const
inline

References age, and size.

Referenced by otawa::operator<<().

void otawa::MAYProblem::Domain::setAge ( const int  id,
const int  _age 
)
inline

References A, and age.

Member Data Documentation

int otawa::MAYProblem::Domain::A
private

Referenced by addDamage(), equals(), inject(), lub(), operator=(), and setAge().

int* otawa::MAYProblem::Domain::age

Referenced by addDamage(), contains(), Domain(), empty(), equals(), getAge(), inject(), lub(), operator=(), print(), setAge(), and ~Domain().

int otawa::MAYProblem::Domain::size
private

Referenced by Domain(), empty(), equals(), getSize(), inject(), lub(), operator=(), and print().

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