ScratchSegment.h File Reference

Go to the source code of this file.

Classes

class  ScratchSegment
 ScratchSegment is an implementation of Segment which allocates scratch pages from the cache. More...


Generated on Mon Jun 22 04:00:23 2009 for Fennel by  doxygen 1.5.1