| Package | Description |
|---|---|
| org.mindswap.pellet | |
| org.mindswap.pellet.tableau.cache |
| Modifier and Type | Class and Description |
|---|---|
class |
Individual |
| Modifier and Type | Method and Description |
|---|---|
CachedNode |
ABox.getCached(aterm.ATermAppl c) |
| Modifier and Type | Class and Description |
|---|---|
class |
CachedConceptNode
Title:
|
class |
CachedConstantNode
Title:
|
| Modifier and Type | Field and Description |
|---|---|
static CachedNode |
CachedConstantNode.BOTTOM |
static CachedNode |
CachedConstantNode.INCOMPLETE |
static CachedNode |
CachedConstantNode.TOP |
| Modifier and Type | Method and Description |
|---|---|
static CachedNode |
CachedNodeFactory.createBottomNode() |
static CachedNode |
CachedNodeFactory.createNode(aterm.ATermAppl name,
Individual node) |
static CachedNode |
CachedNodeFactory.createSatisfiableNode() |
static CachedNode |
CachedNodeFactory.createTopNode() |
CachedNode |
ConceptCacheLRU.get(Object key) |
CachedNode |
ConceptCacheLRU.put(aterm.ATermAppl key,
CachedNode value) |
CachedNode |
ConceptCacheLRU.remove(Object key) |
| Modifier and Type | Method and Description |
|---|---|
Set<Map.Entry<aterm.ATermAppl,CachedNode>> |
ConceptCacheLRU.entrySet() |
protected Iterator<CachedNode> |
CacheSafetyDynamic.getCachedNodes(ABox abox,
aterm.ATermAppl c) |
Collection<CachedNode> |
ConceptCacheLRU.values() |
| Modifier and Type | Method and Description |
|---|---|
Bool |
ConceptCache.checkNominalEdges(KnowledgeBase kb,
CachedNode node1,
CachedNode node2) |
Bool |
AbstractConceptCache.checkNominalEdges(KnowledgeBase kb,
CachedNode pNode,
CachedNode cNode) |
Bool |
ConceptCache.isMergable(KnowledgeBase kb,
CachedNode node1,
CachedNode node2) |
Bool |
AbstractConceptCache.isMergable(KnowledgeBase kb,
CachedNode root1,
CachedNode root2) |
CachedNode |
ConceptCacheLRU.put(aterm.ATermAppl key,
CachedNode value) |
| Modifier and Type | Method and Description |
|---|---|
void |
ConceptCacheLRU.putAll(Map<? extends aterm.ATermAppl,? extends CachedNode> t) |
Copyright © 2019. All rights reserved.