Uses of Package
uk.ac.manchester.cs.jfact.kernel.modelcaches

Packages that use uk.ac.manchester.cs.jfact.kernel.modelcaches

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

Classes in uk.ac.manchester.cs.jfact.kernel.modelcaches used by uk.ac.manchester.cs.jfact.kernel

Class and Description
ModelCacheInterface model cache
ModelCacheState status of model cache or merge operation

Classes in uk.ac.manchester.cs.jfact.kernel.modelcaches used by uk.ac.manchester.cs.jfact.kernel.modelcaches

Class and Description
ModelCacheConst model cache const
ModelCacheIan model cache Ian (Horrocks)
ModelCacheInterface model cache
ModelCacheState status of model cache or merge operation
ModelCacheType model cache type