assign(Domain &a, const Domain &b) const | otawa::dcache::MUSTProblem | inline |
assign(Domain &a, const ACS &b) const | otawa::dcache::MUSTProblem | inline |
bot | otawa::dcache::MUSTProblem | private |
bottom(void) const | otawa::dcache::MUSTProblem | |
cache | otawa::dcache::MUSTProblem | private |
callstate | otawa::dcache::MUSTProblem | |
ent | otawa::dcache::MUSTProblem | private |
enterContext(Domain &dom, BasicBlock *header, util::hai_context_t ctx) | otawa::dcache::MUSTProblem | inline |
entry(void) const | otawa::dcache::MUSTProblem | |
equals(const Domain &a, const Domain &b) const | otawa::dcache::MUSTProblem | inline |
fw | otawa::dcache::MUSTProblem | private |
leaveContext(Domain &dom, BasicBlock *header, util::hai_context_t ctx) | otawa::dcache::MUSTProblem | inline |
lub(Domain &a, const Domain &b) const | otawa::dcache::MUSTProblem | inline |
MUSTProblem(int _size, int _set, WorkSpace *_fw, const hard::Cache *_cache, int _A) | otawa::dcache::MUSTProblem | |
purge(Domain &out, const BlockAccess &acc) | otawa::dcache::MUSTProblem | |
set | otawa::dcache::MUSTProblem | private |
size | otawa::dcache::MUSTProblem | private |
update(Domain &out, const Domain &in, BasicBlock *bb) | otawa::dcache::MUSTProblem | |
update(Domain &s, const BlockAccess &access) | otawa::dcache::MUSTProblem | |