Package openllet.core.tableau.cache

Interface Summary

Interface	Description
CachedNode	Description: Represent the cached information for a concept or an _individual.
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	Copyright: Copyright (c) 2007
CachedConceptNode	Description: A _node cached as the result of satisfiability checking for a concept.
CachedConstantNode	Description: Represents a cached _node that is used in different KBs.
CachedEdge	Description: Represents an edge cached for a CachedNode.
CachedInEdge	Description: Represents a cached incoming edge.
CachedNodeFactory	Copyright: Copyright (c) 2008
CachedOutEdge	Description: Represents a cached outgoing edge.
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	Copyright: Copyright (c) 2009
CacheSafetyNeverSafe	A singleton implementation of CacheSafety that says it is never safe to reuse cached results.
ConceptCacheLRU	Description: Least Recently Used implementation of ConceptCache.