Package org.mindswap.pellet.tableau.cache

Interface Summary

Interface	Description
CachedNode	Title:
CacheSafety	A class to check if a previsouly cached satisfiability result is safe to reuse for a specific node in the completion graph.
ConceptCache	Title: Concept Cache

Class Summary

Class	Description
AbstractConceptCache	Title:
CachedConceptNode	Title:
CachedConstantNode	Title:
CachedEdge	Title:
CachedInEdge	Title:
CachedNodeFactory	Title:
CachedOutEdge	Title:
CacheSafetyAlwaysSafe	A singleton implementation of CacheSafety that always says it is safe to reuse cached results.
CacheSafetyDynamic	A cache safety implementation that checks the cached result and the context in which we try to reuse it to decide if it is safe to reuse the result.
CacheSafetyFactory	Title:
CacheSafetyNeverSafe	A singleton implementation of CacheSafety that says it is never safe to reuse cached results.
ConceptCacheLRU	Title: