Hoard::HoardManager< SourceHeap, ParentHeap, SuperblockType_, EmptinessClasses, LockType, thresholdFunctionClass, HeapType >::sanityCheck Member List
This is the complete list of members for
Hoard::HoardManager< SourceHeap, ParentHeap, SuperblockType_, EmptinessClasses, LockType, thresholdFunctionClass, HeapType >::sanityCheck, including all inherited members.
| checkInvariant(HoardManager *h) | Hoard::HoardManager< SourceHeap, ParentHeap, SuperblockType_, EmptinessClasses, LockType, thresholdFunctionClass, HeapType >::sanityCheck | [inline, private, static] |
| postcondition(HoardManager *h) | Hoard::HoardManager< SourceHeap, ParentHeap, SuperblockType_, EmptinessClasses, LockType, thresholdFunctionClass, HeapType >::sanityCheck | [inline, static] |
| precondition(HoardManager *h) | Hoard::HoardManager< SourceHeap, ParentHeap, SuperblockType_, EmptinessClasses, LockType, thresholdFunctionClass, HeapType >::sanityCheck | [inline, static] |
