otawa::dcache::PERSProblem::Domain Member List

This is the complete list of members for otawa::dcache::PERSProblem::Domain, including all inherited members.

addDamage(const int id, const int index, int damage)	otawa::dcache::PERSProblem::Domain	inline
addDamage(const int id, int damage)	otawa::dcache::PERSProblem::Domain
ageAll(void)	otawa::dcache::PERSProblem::Domain
contains(const int id, const int index)	otawa::dcache::PERSProblem::Domain	inline
data	otawa::dcache::PERSProblem::Domain	private
Domain(const int _size, const int _A)	otawa::dcache::PERSProblem::Domain	inline
Domain(const Domain &source)	otawa::dcache::PERSProblem::Domain	inline
empty(void)	otawa::dcache::PERSProblem::Domain
enterContext(void)	otawa::dcache::PERSProblem::Domain
equals(const Domain &dom) const	otawa::dcache::PERSProblem::Domain
getAge(const int id, const int index) const	otawa::dcache::PERSProblem::Domain	inline
getItem(const int idx) const	otawa::dcache::PERSProblem::Domain	inline
getWhole(void)	otawa::dcache::PERSProblem::Domain	inline
inject(MUSTProblem::Domain *must, const int id)	otawa::dcache::PERSProblem::Domain
isBottom	otawa::dcache::PERSProblem::Domain	private
isPersistent(const int id, const int index)	otawa::dcache::PERSProblem::Domain	inline
isWiped(const int id, const int index)	otawa::dcache::PERSProblem::Domain	inline
leaveContext(void)	otawa::dcache::PERSProblem::Domain
length(void) const	otawa::dcache::PERSProblem::Domain	inline
lub(const Domain &dom)	otawa::dcache::PERSProblem::Domain
lub(const Item &item)	otawa::dcache::PERSProblem::Domain
operator=(const Domain &src)	otawa::dcache::PERSProblem::Domain
print(elm::io::Output &output) const	otawa::dcache::PERSProblem::Domain
refresh(const int id, const int index, int newage)	otawa::dcache::PERSProblem::Domain	inline
refresh(const int id, int newage)	otawa::dcache::PERSProblem::Domain
set(const ACS &w, const genstruct::Table< ACS * > &d)	otawa::dcache::PERSProblem::Domain	inline
setNotBottom(void)	otawa::dcache::PERSProblem::Domain	inline
setToBottom(void)	otawa::dcache::PERSProblem::Domain
whole	otawa::dcache::PERSProblem::Domain	private
~Domain(void)	otawa::dcache::PERSProblem::Domain	inline