#include <otawa/cache/cat2/MUSTProblem.h>
|
| MUSTProblem (const int _size, LBlockSet *_lbset, WorkSpace *_fw, const hard::Cache *_cache, const int _A) |
|
| ~MUSTProblem () |
|
const Domain & | bottom (void) const |
|
const Domain & | entry (void) const |
|
void | lub (Domain &a, const Domain &b) const |
|
void | assign (Domain &a, const Domain &b) const |
|
bool | equals (const Domain &a, const Domain &b) const |
|
void | update (Domain &out, const Domain &in, BasicBlock *bb) |
|
void | enterContext (Domain &dom, BasicBlock *header, hai_context_t ctx) |
|
void | leaveContext (Domain &dom, BasicBlock *header, hai_context_t ctx) |
|
MUSTProblem::~MUSTProblem |
( |
| ) |
|
void otawa::MUSTProblem::assign |
( |
Domain & |
a, |
|
|
const Domain & |
b |
|
) |
| const |
|
inline |
bool otawa::MUSTProblem::equals |
( |
const Domain & |
a, |
|
|
const Domain & |
b |
|
) |
| const |
|
inline |
void otawa::MUSTProblem::lub |
( |
Domain & |
a, |
|
|
const Domain & |
b |
|
) |
| const |
|
inline |
Domain otawa::MUSTProblem::bot |
|
private |
Domain otawa::MUSTProblem::callstate |
Domain otawa::MUSTProblem::ent |
|
private |
const int otawa::MUSTProblem::line |
|
private |
The documentation for this class was generated from the following files: