|
||||||||||
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 org.mindswap.pellet.tableau.cache.ConceptCache |
---|
getSafety |
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 ConceptCache
public int getMaxSize()
ConceptCache
getMaxSize
in interface ConceptCache
public 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 |