Logo Search packages:      
Sourcecode: maude version File versions  Download package

Classes | Public Member Functions | Private Types | Private Member Functions | Private Attributes | Static Private Attributes

MetaModuleCache Class Reference

Inheritance diagram for MetaModuleCache:
Inheritance graph
Collaboration diagram for MetaModuleCache:
Collaboration graph

List of all members.


struct  Pair

Public Member Functions

MetaModulefind (DagNode *dag)
void flush ()
void insert (DagNode *dag, MetaModule *module)

Private Types

enum  Sizes { DEFAULT_MAX_SIZE = 4, MIN_MAX_SIZE = 1, MAX_MAX_SIZE = 1024 }

Private Member Functions

MetaModulemoveToFront (int chosen)
 NO_COPYING (MetaModuleCache)
void regretToInform (Entity *doomedEntity)

Private Attributes

Vector< Paircache

Static Private Attributes

static int maxSize = UNDEFINED

Detailed Description

Definition at line 30 of file metaModuleCache.hh.

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

Generated by  Doxygen 1.6.0   Back to index