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

Packages that use ModelCacheState

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

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

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

Modifier and Type	Method and Description
ModelCacheState	TBox.testCachedNonSubsumption(Concept p, Concept q) test if 2 concept non-subsumption can be determined by cache merging

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

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

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;
ModelCacheState	ModelCacheSingleton.getState() Check if the model contains clash
abstract ModelCacheState	ModelCacheInterface.getState()
ModelCacheState	ModelCacheIan.getState()
ModelCacheState	ModelCacheConst.getState() Check if the model contains clash
ModelCacheState	ModelCacheIan.isMergableIan(ModelCacheIan q)
ModelCacheState	ModelCacheIan.isMergableSingleton(int singleton, boolean pos)
ModelCacheState	ModelCacheIan.merge(ModelCacheInterface p)
static ModelCacheState	ModelCacheState.valueOf(String name) Returns the enum constant of this type with the specified name.
static ModelCacheState[]	ModelCacheState.values() Returns an array containing the constants of this enum type, in the order they are declared.