otawa::dcache::MUSTPERS::Domain Class Reference

ACS of the MUSTPERS problem. More...

#include <otawa/dcache/MUSTPERS.h>

Public Member Functions
	Domain (const int _size, const int _A)
	Domain (const Domain &source)
MUSTProblem::Domain &	getMust (void)
PERSProblem::Domain &	getPers (void)

Private Attributes
PERSProblem::Domain	pers
MUSTProblem::Domain	must

Friends
class	MUSTPERS

Detailed Description

ACS of the MUSTPERS problem.

Constructor & Destructor Documentation

otawa::dcache::MUSTPERS::Domain::Domain ( const int  _size, const int  _A  )

inline

otawa::dcache::MUSTPERS::Domain::Domain ( const Domain &  source )

inline

Member Function Documentation

MUSTProblem::Domain& otawa::dcache::MUSTPERS::Domain::getMust ( void  )

inline

References must.

Referenced by otawa::dcache::CATBuilder::processLBlockSet().

PERSProblem::Domain& otawa::dcache::MUSTPERS::Domain::getPers ( void  )

inline

References pers.

Referenced by otawa::dcache::CATBuilder::processLBlockSet().

Friends And Related Function Documentation

friend class MUSTPERS

friend

Member Data Documentation

MUSTProblem::Domain otawa::dcache::MUSTPERS::Domain::must

private

Referenced by otawa::dcache::MUSTPERS::ageAll(), otawa::dcache::MUSTPERS::enterContext(), getMust(), otawa::dcache::MUSTPERS::inject(), otawa::dcache::MUSTPERS::leaveContext(), otawa::dcache::MUSTPERS::lub(), otawa::dcache::MUSTPERS::MUSTPERS(), otawa::dcache::MUSTPERS::print(), otawa::dcache::MUSTPERS::setMust(), and otawa::dcache::MUSTPERS::update().

PERSProblem::Domain otawa::dcache::MUSTPERS::Domain::pers

private

Referenced by otawa::dcache::MUSTPERS::ageAll(), otawa::dcache::MUSTPERS::emptyPers(), otawa::dcache::MUSTPERS::enterContext(), getPers(), otawa::dcache::MUSTPERS::inject(), otawa::dcache::MUSTPERS::leaveContext(), otawa::dcache::MUSTPERS::lub(), otawa::dcache::MUSTPERS::MUSTPERS(), otawa::dcache::MUSTPERS::print(), otawa::dcache::MUSTPERS::setPers(), and otawa::dcache::MUSTPERS::update().

---

The documentation for this class was generated from the following file:

• include/otawa/dcache/MUSTPERS.h