org.mindswap.pellet.tableau.cache

Interface ConceptCache

All Superinterfaces:

Map<aterm.ATermAppl,CachedNode>

All Known Implementing Classes:

AbstractConceptCache, ConceptCacheLRU

public interface ConceptCache
extends Map<aterm.ATermAppl,CachedNode>

Title: Concept Cache

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Ron Alford

Nested Class Summary

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

Map.Entry<K,V>

Method Summary

Methods

Modifier and Type	Method and Description
Bool	checkNominalEdges(KnowledgeBase kb, CachedNode node1, CachedNode node2)
int	getMaxSize() Get the maximum number of non-primitive concepts allowed in the cache
CacheSafety	getSafety() Returns safety checker that tells which concepts are safe to 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

getMaxSize

int getMaxSize()

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

Returns:

setMaxSize

void setMaxSize(int maxSize)

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

getSat

Bool getSat(aterm.ATermAppl c)

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

Parameters:

c -

Returns:

putSat

boolean putSat(aterm.ATermAppl c,
             boolean isSatisfiable)

Put an incomplete

Parameters:

c -

isSatisfiable -

Returns:

isMergable

Bool isMergable(KnowledgeBase kb,
              CachedNode node1,
              CachedNode node2)

Parameters:

kb -

node -

Returns:

checkNominalEdges

Bool checkNominalEdges(KnowledgeBase kb,
                     CachedNode node1,
                     CachedNode node2)

Parameters:

kb -

node -

Returns:

getSafety

CacheSafety getSafety()

Returns safety checker that tells which concepts are safe to cache.

Returns:

safety checker