org.mindswap.pellet.tableau.cache
Interface ConceptCache

All Superinterfaces:
java.util.Map<aterm.ATermAppl,CachedNode>
All Known Implementing Classes:
AbstractConceptCache, ConceptCacheLRU

public interface ConceptCache
extends java.util.Map<aterm.ATermAppl,CachedNode>

Title: Concept Cache

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:
Ron Alford

Nested Class Summary
 
Nested classes/interfaces inherited from interface java.util.Map
java.util.Map.Entry<K,V>
 
Method Summary
 Bool checkNominalEdges(KnowledgeBase kb, CachedNode node1, CachedNode node2)
           
 int getMaxSize()
          Get the maximum number of non-primitive concepts allowed in the cache
 CacheSafety getSafety()
          Returns safety checker that tells which concepts are safe to cache.
 Bool getSat(aterm.ATermAppl c)
          Get the satisfiability status of a concept as a three-value boolean.
 Bool isMergable(KnowledgeBase kb, CachedNode node1, CachedNode node2)
           
 boolean putSat(aterm.ATermAppl c, boolean isSatisfiable)
          Put an incomplete
 void setMaxSize(int maxSize)
          Set the maximum number of non-primitive concepts allowed in the cache
 
Methods inherited from interface java.util.Map
clear, containsKey, containsValue, entrySet, equals, get, hashCode, isEmpty, keySet, put, putAll, remove, size, values
 

Method Detail

getMaxSize

int getMaxSize()
Get the maximum number of non-primitive concepts allowed in the cache

Returns:

setMaxSize

void setMaxSize(int maxSize)
Set the maximum number of non-primitive concepts allowed in the cache


getSat

Bool getSat(aterm.ATermAppl c)
Get the satisfiability status of a concept as a three-value boolean.

Parameters:
c -
Returns:

putSat

boolean putSat(aterm.ATermAppl c,
               boolean isSatisfiable)
Put an incomplete

Parameters:
c -
isSatisfiable -
Returns:

isMergable

Bool isMergable(KnowledgeBase kb,
                CachedNode node1,
                CachedNode node2)
Parameters:
kb -
node -
Returns:

checkNominalEdges

Bool checkNominalEdges(KnowledgeBase kb,
                       CachedNode node1,
                       CachedNode node2)
Parameters:
kb -
node -
Returns:

getSafety

CacheSafety getSafety()
Returns safety checker that tells which concepts are safe to cache.

Returns:
safety checker


Copyright © 2004 Evren Sirin. All Rights Reserved.