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

#include <otawa/branch/BranchProblem.h>

Public Member Functions

 Domain (const int _size, const int _A)
 
 ~Domain ()
 
 Domain (const Domain &source)
 
Domain & operator= (const Domain &src)
 
void lub (const Domain &dom)
 
int getSize (void)
 
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::MUSTBranch::Domain::Domain ( const int  _size,
const int  _A 
)
inline

References age, and size.

otawa::MUSTBranch::Domain::~Domain ( )
inline

References age.

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

References age, and size.

Member Function Documentation

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

References A, and age.

Referenced by otawa::branch::BranchBuilder::categorize(), inject(), and otawa::PERSBranch::Item::inject().

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

References A, age, and size.

Referenced by otawa::BranchProblem::Domain::empty(), and otawa::MUSTBranch::MUSTBranch().

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

References A, age, and size.

Referenced by otawa::MUSTBranch::equals(), and otawa::BranchProblem::Domain::equals().

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

References age.

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

References size.

Referenced by otawa::BranchProblem::Domain::getSize().

void otawa::MUSTBranch::Domain::inject ( const int  id)
inline

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

Referenced by otawa::BranchProblem::Domain::inject().

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

References A, age, and size.

Referenced by otawa::MUSTBranch::lub(), and otawa::BranchProblem::Domain::lub().

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

References A, age, and size.

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

References A, age, and size.

Referenced by otawa::BranchProblem::Domain::print().

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

References A, and age.

Member Data Documentation

int otawa::MUSTBranch::Domain::A
private

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

int* otawa::MUSTBranch::Domain::age

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

int otawa::MUSTBranch::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: