|
||||||||||
| 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 |
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 -
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||