Uses of Class
uk.ac.manchester.cs.jfact.kernel.modelcaches.ModelCacheConst

Packages that use ModelCacheConst

Package	Description
uk.ac.manchester.cs.jfact.kernel.modelcaches

Uses of ModelCacheConst in uk.ac.manchester.cs.jfact.kernel.modelcaches

Methods in uk.ac.manchester.cs.jfact.kernel.modelcaches that return ModelCacheConst

Modifier and Type	Method and Description
static ModelCacheConst	ModelCacheConst.createConstCache(int bp) create const cache by BP; BP should be either bpTOP or bpBOTTOM