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)
ModelCacheInterface	DlSatTester.createCache(int p, uk.ac.manchester.cs.chainsaw.FastSet f)
ModelCacheInterface	DLDag.getCache(int p)
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;

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 model cache const
class	ModelCacheIan model cache Ian (Horrocks)
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;
abstract ModelCacheState	ModelCacheInterface.canMerge(ModelCacheInterface p) check whether two caches can be merged;
ModelCacheState	ModelCacheIan.canMerge(ModelCacheInterface p)
ModelCacheState	ModelCacheConst.canMerge(ModelCacheInterface p) check whether two caches can be merged;
boolean	ModelCacheInterface.hasNominalClash(ModelCacheInterface p)
ModelCacheState	ModelCacheIan.merge(ModelCacheInterface p)
void	ModelCacheInterface.updateNominalStatus(ModelCacheInterface p) update knoweledge about nominals in the model after merging