|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ConceptCache
Title: Concept Cache
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
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 |
---|
int getMaxSize()
void setMaxSize(int maxSize)
Bool getSat(aterm.ATermAppl c)
c
-
boolean putSat(aterm.ATermAppl c, boolean isSatisfiable)
c
- isSatisfiable
-
Bool isMergable(KnowledgeBase kb, CachedNode node1, CachedNode node2)
kb
- node
-
Bool checkNominalEdges(KnowledgeBase kb, CachedNode node1, CachedNode node2)
kb
- node
-
CacheSafety getSafety()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |