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

Packages that use ModelCacheInterface

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

Uses of ModelCacheInterface in uk.ac.manchester.cs.jfact.kernel

Methods in uk.ac.manchester.cs.jfact.kernel that return ModelCacheInterface

Modifier and Type	Method and Description
ModelCacheInterface	DlSatTester.buildCacheByCGraph(boolean sat) create model cache for the just-classified entry
ModelCacheInterface	DlSatTester.createCache(int p, FastSet f)
protected ModelCacheInterface	DlSatTester.createModelCache(DlCompletionTree p) return cache of given completion tree (implementation)
ModelCacheInterface	DLDag.getCache(int p) get cache for given BiPointer (may return null if no cache defined)
ModelCacheInterface	TBox.initCache(Concept pConcept, boolean sub)

Methods in uk.ac.manchester.cs.jfact.kernel with parameters of type ModelCacheInterface

Modifier and Type	Method and Description
void	DLDag.setCache(int p, ModelCacheInterface cache) set cache for given BiPointer; @return given cache

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

Subclasses of ModelCacheInterface in uk.ac.manchester.cs.jfact.kernel.modelcaches

Modifier and Type	Class and Description
class	ModelCacheConst
class	ModelCacheIan
class	ModelCacheSingleton Model caching implementation for singleton models.

Methods in uk.ac.manchester.cs.jfact.kernel.modelcaches with parameters of type ModelCacheInterface

Modifier and Type	Method and Description
ModelCacheState	ModelCacheSingleton.canMerge(ModelCacheInterface p) check whether two caches can be merged; @return state of "merged" model
abstract ModelCacheState	ModelCacheInterface.canMerge(ModelCacheInterface p) check whether two caches can be merged; @return state of "merged" model
ModelCacheState	ModelCacheIan.canMerge(ModelCacheInterface p)
ModelCacheState	ModelCacheConst.canMerge(ModelCacheInterface p) check whether two caches can be merged; @return state of "merged" model
boolean	ModelCacheInterface.hasNominalClash(ModelCacheInterface p) check whether both models have nominals; in this case, merge is impossible
ModelCacheState	ModelCacheIan.merge(ModelCacheInterface p)
void	ModelCacheInterface.updateNominalStatus(ModelCacheInterface p) update knoweledge about nominals in the model after merging