Otawa  0.10
Public Member Functions | Private Attributes | List of all members
otawa::PERSBranch::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)
 
void lub (const Item &item)
 
bool equals (const Domain &dom) const
 
void empty ()
 
void setToBottom ()
 
Item & getWhole ()
 
bool contains (const int id, const int index)
 
void inject (MUSTBranch::Domain *must, const int id)
 
bool isWiped (const int id, const int index)
 
int getAge (const int id, const int index) const
 
bool isPersistent (const int id, const int index)
 
void print (elm::io::Output &output) const
 
void enterContext ()
 
void leaveContext ()
 
int length ()
 
Item & getItem (const int idx) const
 

Private Attributes

int A
 
int size
 
bool isBottom
 
Item whole
 
genstruct::Vector< Item * > data
 

Constructor & Destructor Documentation

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

References otawa::PERSBranch::Item::empty(), isBottom, and whole.

otawa::PERSBranch::Domain::~Domain ( )
inline

References data.

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

References data.

Member Function Documentation

bool otawa::PERSBranch::Domain::contains ( const int  id,
const int  index 
)
inline

References data, and isBottom.

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

References data, otawa::PERSBranch::Item::empty(), isBottom, and whole.

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

void otawa::PERSBranch::Domain::enterContext ( )
inline

References A, data, otawa::PERSBranch::Item::empty(), and isBottom.

Referenced by otawa::PERSBranch::enterContext().

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

References data, otawa::PERSBranch::Item::equals(), isBottom, and whole.

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

int otawa::PERSBranch::Domain::getAge ( const int  id,
const int  index 
) const
inline

References data, and isBottom.

Item& otawa::PERSBranch::Domain::getItem ( const int  idx) const
inline

References data, and isBottom.

Item& otawa::PERSBranch::Domain::getWhole ( )
inline

References whole.

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

References data, otawa::PERSBranch::Item::inject(), isBottom, and whole.

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

bool otawa::PERSBranch::Domain::isPersistent ( const int  id,
const int  index 
)
inline

References data, and isBottom.

Referenced by otawa::branch::BranchBuilder::categorize().

bool otawa::PERSBranch::Domain::isWiped ( const int  id,
const int  index 
)
inline

References data, and isBottom.

void otawa::PERSBranch::Domain::leaveContext ( )
inline

References data, and isBottom.

Referenced by otawa::PERSBranch::leaveContext().

int otawa::PERSBranch::Domain::length ( void  )
inline

References data, and isBottom.

Referenced by otawa::branch::BranchBuilder::categorize(), and lub().

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

References data, isBottom, length(), otawa::PERSBranch::Item::lub(), and whole.

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

void otawa::PERSBranch::Domain::lub ( const Item &  item)
inline

References data, otawa::PERSBranch::Item::lub(), lub(), and whole.

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

References data, isBottom, setToBottom(), and whole.

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

References data, isBottom, otawa::PERSBranch::Item::print(), and whole.

Referenced by otawa::operator<<(), and otawa::BranchProblem::Domain::print().

void otawa::PERSBranch::Domain::setToBottom ( )
inline

References data, otawa::PERSBranch::Item::empty(), isBottom, and whole.

Referenced by operator=(), and otawa::PERSBranch::PERSBranch().

Member Data Documentation

int otawa::PERSBranch::Domain::A
private

Referenced by enterContext().

genstruct::Vector<Item*> otawa::PERSBranch::Domain::data
private

Referenced by contains(), Domain(), empty(), enterContext(), equals(), getAge(), getItem(), inject(), isPersistent(), isWiped(), leaveContext(), length(), lub(), operator=(), print(), setToBottom(), and ~Domain().

bool otawa::PERSBranch::Domain::isBottom
private

Referenced by contains(), Domain(), empty(), enterContext(), equals(), getAge(), getItem(), inject(), isPersistent(), isWiped(), leaveContext(), length(), lub(), operator=(), print(), and setToBottom().

int otawa::PERSBranch::Domain::size
private
Item otawa::PERSBranch::Domain::whole
private

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

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