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

#include <otawa/branch/BranchProblem.h>

Public Member Functions

 Item (const int _size, const int _A)
 
 ~Item ()
 
 Item (const Item &source)
 
Item & operator= (const Item &src)
 
void lub (const Item &dom)
 
bool equals (const Item &dom) const
 
void empty ()
 
bool contains (const int id)
 
void inject (MUSTBranch::Domain *must, const int id)
 
bool isWiped (const int id)
 
bool isPersistent (const int id)
 
int getAge (const int id) const
 
void print (elm::io::Output &output) const
 

Public Attributes

int * age
 

Private Attributes

int A
 
int size
 

Constructor & Destructor Documentation

otawa::PERSBranch::Item::Item ( const int  _size,
const int  _A 
)
inline

References age, and size.

otawa::PERSBranch::Item::~Item ( )
inline

References age.

otawa::PERSBranch::Item::Item ( const Item &  source)
inline

References age, and size.

Member Function Documentation

bool otawa::PERSBranch::Item::contains ( const int  id)
inline

References age.

Referenced by isPersistent().

void otawa::PERSBranch::Item::empty ( )
inline

References age, and size.

Referenced by otawa::PERSBranch::Domain::Domain(), otawa::PERSBranch::Domain::empty(), otawa::PERSBranch::Domain::enterContext(), and otawa::PERSBranch::Domain::setToBottom().

bool otawa::PERSBranch::Item::equals ( const Item &  dom) const
inline

References A, age, and size.

Referenced by otawa::PERSBranch::Domain::equals().

int otawa::PERSBranch::Item::getAge ( const int  id) const
inline

References age.

void otawa::PERSBranch::Item::inject ( MUSTBranch::Domain *  must,
const int  id 
)
inline

References A, age, otawa::MUSTBranch::Domain::contains(), and size.

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

bool otawa::PERSBranch::Item::isPersistent ( const int  id)
inline

References contains(), and isWiped().

bool otawa::PERSBranch::Item::isWiped ( const int  id)
inline

References A, and age.

Referenced by isPersistent().

void otawa::PERSBranch::Item::lub ( const Item &  dom)
inline

References age, and size.

Referenced by otawa::PERSBranch::Domain::lub().

Item& otawa::PERSBranch::Item::operator= ( const Item &  src)
inline

References A, age, and size.

void otawa::PERSBranch::Item::print ( elm::io::Output &  output) const
inline

References age, and size.

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

Member Data Documentation

int otawa::PERSBranch::Item::A
private

Referenced by equals(), inject(), isWiped(), and operator=().

int* otawa::PERSBranch::Item::age

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

int otawa::PERSBranch::Item::size
private

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

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