#include <otawa/cache/cat2/PERSProblem.h>
|
| 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 (MUSTProblem::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 | addDamage (const int id, const int index, int damage) |
|
void | addDamage (const int id, int damage) |
|
void | refresh (const int id, const int index, int newage) |
|
void | refresh (const int id, int newage) |
|
void | print (elm::io::Output &output) const |
|
void | enterContext () |
|
void | leaveContext () |
|
int | length () |
|
Item & | getItem (const int idx) const |
|
otawa::PERSProblem::Domain::Domain |
( |
const int |
_size, |
|
|
const int |
_A |
|
) |
| |
|
inline |
otawa::PERSProblem::Domain::~Domain |
( |
| ) |
|
|
inline |
otawa::PERSProblem::Domain::Domain |
( |
const Domain & |
source | ) |
|
|
inline |
void otawa::PERSProblem::Domain::addDamage |
( |
const int |
id, |
|
|
const int |
index, |
|
|
int |
damage |
|
) |
| |
|
inline |
void otawa::PERSProblem::Domain::addDamage |
( |
const int |
id, |
|
|
int |
damage |
|
) |
| |
|
inline |
bool otawa::PERSProblem::Domain::contains |
( |
const int |
id, |
|
|
const int |
index |
|
) |
| |
|
inline |
void otawa::PERSProblem::Domain::empty |
( |
| ) |
|
|
inline |
void otawa::PERSProblem::Domain::enterContext |
( |
| ) |
|
|
inline |
bool otawa::PERSProblem::Domain::equals |
( |
const Domain & |
dom | ) |
const |
|
inline |
int otawa::PERSProblem::Domain::getAge |
( |
const int |
id, |
|
|
const int |
index |
|
) |
| const |
|
inline |
Item& otawa::PERSProblem::Domain::getItem |
( |
const int |
idx | ) |
const |
|
inline |
Item& otawa::PERSProblem::Domain::getWhole |
( |
| ) |
|
|
inline |
bool otawa::PERSProblem::Domain::isPersistent |
( |
const int |
id, |
|
|
const int |
index |
|
) |
| |
|
inline |
bool otawa::PERSProblem::Domain::isWiped |
( |
const int |
id, |
|
|
const int |
index |
|
) |
| |
|
inline |
void otawa::PERSProblem::Domain::leaveContext |
( |
| ) |
|
|
inline |
int otawa::PERSProblem::Domain::length |
( |
void |
| ) |
|
|
inline |
void otawa::PERSProblem::Domain::lub |
( |
const Domain & |
dom | ) |
|
|
inline |
void otawa::PERSProblem::Domain::lub |
( |
const Item & |
item | ) |
|
|
inline |
Domain& otawa::PERSProblem::Domain::operator= |
( |
const Domain & |
src | ) |
|
|
inline |
void otawa::PERSProblem::Domain::refresh |
( |
const int |
id, |
|
|
const int |
index, |
|
|
int |
newage |
|
) |
| |
|
inline |
void otawa::PERSProblem::Domain::refresh |
( |
const int |
id, |
|
|
int |
newage |
|
) |
| |
|
inline |
void otawa::PERSProblem::Domain::setToBottom |
( |
| ) |
|
|
inline |
int otawa::PERSProblem::Domain::A |
|
private |
Referenced by addDamage(), contains(), Domain(), empty(), enterContext(), equals(), getAge(), getItem(), inject(), isPersistent(), isWiped(), leaveContext(), length(), lub(), operator=(), print(), refresh(), setToBottom(), and ~Domain().
bool otawa::PERSProblem::Domain::isBottom |
|
private |
Referenced by addDamage(), contains(), Domain(), empty(), enterContext(), equals(), getAge(), getItem(), inject(), isPersistent(), isWiped(), leaveContext(), length(), lub(), operator=(), print(), refresh(), and setToBottom().
int otawa::PERSProblem::Domain::size |
|
private |
Item otawa::PERSProblem::Domain::whole |
|
private |
Referenced by addDamage(), Domain(), empty(), equals(), getWhole(), inject(), lub(), operator=(), print(), refresh(), and setToBottom().
The documentation for this class was generated from the following file: