|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.mindswap.pellet.tableau.cache.AbstractConceptCache
public abstract class AbstractConceptCache
Title:
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> |
| Field Summary | |
|---|---|
static java.util.logging.Logger |
log
|
| Constructor Summary | |
|---|---|
AbstractConceptCache(int maxSize)
Creates an empty cache with at most maxSize elements which
are neither named or negations of names. |
|
| Method Summary | |
|---|---|
Bool |
checkNominalEdges(KnowledgeBase kb,
CachedNode pNode,
CachedNode cNode)
|
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 root1,
CachedNode root2)
|
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 class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Methods inherited from interface java.util.Map |
|---|
clear, containsKey, containsValue, entrySet, equals, get, hashCode, isEmpty, keySet, put, putAll, remove, size, values |
| Field Detail |
|---|
public static final java.util.logging.Logger log
| Constructor Detail |
|---|
public AbstractConceptCache(int maxSize)
maxSize elements which
are neither named or negations of names.
maxSize - | Method Detail |
|---|
public Bool getSat(aterm.ATermAppl c)
ConceptCache
getSat in interface ConceptCache
public boolean putSat(aterm.ATermAppl c,
boolean isSatisfiable)
ConceptCache
putSat in interface ConceptCachepublic int getMaxSize()
ConceptCache
getMaxSize in interface ConceptCachepublic void setMaxSize(int maxSize)
ConceptCache
setMaxSize in interface ConceptCache
public Bool isMergable(KnowledgeBase kb,
CachedNode root1,
CachedNode root2)
isMergable in interface ConceptCache
public Bool checkNominalEdges(KnowledgeBase kb,
CachedNode pNode,
CachedNode cNode)
checkNominalEdges in interface ConceptCache
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||