#include <otawa/dcache/ACSMayBuilder.h>
otawa::dcache::MAYProblem::Domain::Domain |
( |
const int |
_size, |
|
|
const int |
_A |
|
) |
| |
|
inline |
otawa::dcache::MAYProblem::Domain::Domain |
( |
const Domain & |
source | ) |
|
|
inline |
void otawa::dcache::MAYProblem::Domain::addDamage |
( |
const int |
id, |
|
|
const int |
damage |
|
) |
| |
|
inline |
void otawa::dcache::MAYProblem::Domain::ageAll |
( |
void |
| ) |
|
|
inline |
bool otawa::dcache::ACS::contains |
( |
const int |
id | ) |
const |
|
inlineinherited |
void otawa::dcache::ACS::empty |
( |
void |
| ) |
|
|
inlineinherited |
bool otawa::dcache::ACS::equals |
( |
const ACS & |
acs | ) |
const |
|
inlineinherited |
int otawa::dcache::ACS::getA |
( |
void |
| ) |
const |
|
inlineinherited |
int otawa::dcache::ACS::getAge |
( |
int |
id | ) |
const |
|
inlineinherited |
int otawa::dcache::ACS::getSize |
( |
void |
| ) |
const |
|
inlineinherited |
void otawa::dcache::MAYProblem::Domain::glb |
( |
const Domain & |
dom | ) |
|
|
inline |
void otawa::dcache::MAYProblem::Domain::inject |
( |
const int |
id | ) |
|
|
inline |
void otawa::dcache::MAYProblem::Domain::lub |
( |
const Domain & |
dom | ) |
|
|
inline |
Domain& otawa::dcache::MAYProblem::Domain::operator= |
( |
const Domain & |
src | ) |
|
|
inline |
Domain& otawa::dcache::MAYProblem::Domain::operator= |
( |
const ACS & |
src | ) |
|
|
inline |
const int& otawa::dcache::ACS::operator[] |
( |
int |
i | ) |
const |
|
inlineinherited |
int& otawa::dcache::ACS::operator[] |
( |
int |
i | ) |
|
|
inlineinherited |
void otawa::dcache::ACS::set |
( |
const ACS & |
acs | ) |
|
|
inlineinherited |
void otawa::dcache::ACS::setAge |
( |
const int |
id, |
|
|
const int |
_age |
|
) |
| |
|
inlineinherited |
int otawa::dcache::ACS::A |
|
protectedinherited |
Referenced by addDamage(), otawa::dcache::PERSProblem::Item::ageAll(), ageAll(), otawa::dcache::PERSProblem::Item::equals(), otawa::dcache::ACS::equals(), otawa::dcache::ACS::getA(), inject(), otawa::dcache::PERSProblem::Item::isWiped(), otawa::dcache::PERSProblem::Item::lub(), lub(), otawa::dcache::ACS::set(), and otawa::dcache::ACS::setAge().
int* otawa::dcache::ACS::age |
|
protectedinherited |
Referenced by otawa::dcache::ACS::ACS(), addDamage(), otawa::dcache::PERSProblem::Item::ageAll(), ageAll(), otawa::dcache::ACS::contains(), otawa::dcache::ACS::empty(), otawa::dcache::PERSProblem::Item::equals(), otawa::dcache::ACS::equals(), otawa::dcache::ACS::getAge(), inject(), otawa::dcache::PERSProblem::Item::isWiped(), otawa::dcache::PERSProblem::Item::lub(), lub(), otawa::dcache::ACS::operator[](), otawa::dcache::ACS::print(), otawa::dcache::PERSProblem::Item::refresh(), otawa::dcache::ACS::set(), otawa::dcache::ACS::setAge(), and otawa::dcache::ACS::~ACS().
int otawa::dcache::ACS::size |
|
protectedinherited |
Referenced by otawa::dcache::ACS::ACS(), otawa::dcache::PERSProblem::Item::ageAll(), ageAll(), otawa::dcache::ACS::empty(), otawa::dcache::PERSProblem::Item::equals(), otawa::dcache::ACS::equals(), otawa::dcache::ACS::getSize(), inject(), otawa::dcache::PERSProblem::Item::lub(), lub(), otawa::dcache::ACS::print(), and otawa::dcache::ACS::set().
The documentation for this class was generated from the following file: