org.mindswap.pellet.tableau.cache

Class AbstractConceptCache

java.lang.Object

org.mindswap.pellet.tableau.cache.AbstractConceptCache

All Implemented Interfaces:

Map<aterm.ATermAppl,CachedNode>, ConceptCache

Direct Known Subclasses:

ConceptCacheLRU

public abstract class AbstractConceptCache
extends Object
implements ConceptCache

Title:

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Nested Class Summary

Nested classes/interfaces inherited from interface java.util.Map

Map.Entry<K,V>

Field Summary

Fields

Modifier and Type	Field and Description
static Logger	log

Constructor Summary

Constructors

Constructor and Description
AbstractConceptCache(int maxSize) Creates an empty cache with at most maxSize elements which are neither named or negations of names.

Method Summary

Modifier and Type	Method and Description
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.
protected boolean	isFull()
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

clone, equals, finalize, 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, compute, computeIfAbsent, computeIfPresent, containsKey, containsValue, entrySet, equals, forEach, get, getOrDefault, hashCode, isEmpty, keySet, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, replaceAll, size, values

Field Detail

log

public static final Logger log

Constructor Detail

AbstractConceptCache

public AbstractConceptCache(int maxSize)

Creates an empty cache with at most maxSize elements which are neither named or negations of names.

Parameters:

maxSize -

Method Detail

isFull

protected boolean isFull()

getSat

public Bool getSat(aterm.ATermAppl c)

Description copied from interface: ConceptCache

Get the satisfiability status of a concept as a three-value boolean.

Specified by:

getSat in interface ConceptCache

Returns:

putSat

public boolean putSat(aterm.ATermAppl c,
                      boolean isSatisfiable)

Description copied from interface: ConceptCache

Put an incomplete

Specified by:

putSat in interface ConceptCache

Returns:

getMaxSize

public int getMaxSize()

Description copied from interface: ConceptCache

Get the maximum number of non-primitive concepts allowed in the cache

Specified by:

getMaxSize in interface ConceptCache

Returns:

setMaxSize

public void setMaxSize(int maxSize)

Description copied from interface: ConceptCache

Set the maximum number of non-primitive concepts allowed in the cache

Specified by:

setMaxSize in interface ConceptCache

isMergable

public Bool isMergable(KnowledgeBase kb,
                       CachedNode root1,
                       CachedNode root2)

Specified by:

isMergable in interface ConceptCache

Returns:

checkNominalEdges

public Bool checkNominalEdges(KnowledgeBase kb,
                              CachedNode pNode,
                              CachedNode cNode)

Specified by:

checkNominalEdges in interface ConceptCache

Returns: