@ParametersAreNonnullByDefault

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

Class Summary

Class	Description
ModelCacheConst	model cache const
ModelCacheIan	model cache Ian (Horrocks)
ModelCacheInterface	model cache
ModelCacheSingleton	Model caching implementation for singleton models.

Enum Summary

Enum	Description
ModelCacheState	status of model cache or merge operation
ModelCacheType	model cache type