assign(Domain &a, const Domain &b) const | otawa::dcache::MAYProblem | inline |
bot | otawa::dcache::MAYProblem | private |
bottom(void) const | otawa::dcache::MAYProblem | |
cache | otawa::dcache::MAYProblem | private |
callstate | otawa::dcache::MAYProblem | |
coll | otawa::dcache::MAYProblem | private |
ent | otawa::dcache::MAYProblem | private |
enterContext(Domain &dom, BasicBlock *header, util::hai_context_t ctx) | otawa::dcache::MAYProblem | inline |
entry(void) const | otawa::dcache::MAYProblem | |
equals(const Domain &a, const Domain &b) const | otawa::dcache::MAYProblem | inline |
fw | otawa::dcache::MAYProblem | private |
leaveContext(Domain &dom, BasicBlock *header, util::hai_context_t ctx) | otawa::dcache::MAYProblem | inline |
line | otawa::dcache::MAYProblem | private |
lub(Domain &a, const Domain &b) const | otawa::dcache::MAYProblem | inline |
MAYProblem(const BlockCollection &coll, WorkSpace *_fw, const hard::Cache *_cache) | otawa::dcache::MAYProblem | |
update(Domain &out, const Domain &in, BasicBlock *bb) | otawa::dcache::MAYProblem | |
update(Domain &s, const BlockAccess &access) | otawa::dcache::MAYProblem | |
~MAYProblem(void) | otawa::dcache::MAYProblem | |