Hoard::HoardManager< SourceHeap, ParentHeap, SuperblockType_, EmptinessClasses, LockType, thresholdFunctionClass, HeapType >::sanityCheck Class Reference

List of all members.

Static Public Member Functions
static void	precondition (HoardManager *h)
static void	postcondition (HoardManager *h)
Static Private Member Functions
static void	checkInvariant (HoardManager *h)

template<class SourceHeap, class ParentHeap, class SuperblockType_, int EmptinessClasses, class LockType, class thresholdFunctionClass, class HeapType>
class Hoard::HoardManager< SourceHeap, ParentHeap, SuperblockType_, EmptinessClasses, LockType, thresholdFunctionClass, HeapType >::sanityCheck

---

Member Function Documentation

template<class SourceHeap, class ParentHeap, class SuperblockType_, int EmptinessClasses, class LockType, class thresholdFunctionClass, class HeapType>

static void Hoard::HoardManager< SourceHeap, ParentHeap, SuperblockType_, EmptinessClasses, LockType, thresholdFunctionClass, HeapType >::sanityCheck::checkInvariant

(

HoardManager *

h

)

[inline, static, private]

template<class SourceHeap, class ParentHeap, class SuperblockType_, int EmptinessClasses, class LockType, class thresholdFunctionClass, class HeapType>

static void Hoard::HoardManager< SourceHeap, ParentHeap, SuperblockType_, EmptinessClasses, LockType, thresholdFunctionClass, HeapType >::sanityCheck::postcondition

(

HoardManager *

h

)

[inline, static]

template<class SourceHeap, class ParentHeap, class SuperblockType_, int EmptinessClasses, class LockType, class thresholdFunctionClass, class HeapType>

static void Hoard::HoardManager< SourceHeap, ParentHeap, SuperblockType_, EmptinessClasses, LockType, thresholdFunctionClass, HeapType >::sanityCheck::precondition

(

HoardManager *

h

)

[inline, static]

---

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

• hoardmanager.h