ConceptCache (Openllet :: Core 2.6.5 API)

All Superinterfaces:

java.util.Map<openllet.aterm.ATermAppl,CachedNode>

All Known Implementing Classes:

AbstractConceptCache, ConceptCacheLRU
```
public interface ConceptCache
extends java.util.Map<openllet.aterm.ATermAppl,CachedNode>
```
Title: Concept Cache

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Ron Alford

Nested Class Summary
- Nested classes/interfaces inherited from interface java.util.Map
  java.util.Map.Entry<K extends java.lang.Object,V extends java.lang.Object>

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`Bool`	`checkNominalEdges(KnowledgeBase kb, CachedNode node1, CachedNode node2)`
`int`	`getMaxSize()`
`CacheSafety`	`getSafety()`	Returns safety checker that tells which concepts are safe to _cache.
`Bool`	`getSat(openllet.aterm.ATermAppl c)`
`Bool`	`isMergable(KnowledgeBase kb, CachedNode node1, CachedNode node2)`
`boolean`	`putSat(openllet.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, compute, computeIfAbsent, computeIfPresent, containsKey, containsValue, entrySet, equals, forEach, get, getOrDefault, hashCode, isEmpty, keySet, merge, put, putAll, putIfAbsent, remove, remove, replace, replace, replaceAll, size, values

- Method Detail
  - getMaxSize
```
int getMaxSize()
```
    Returns:
    
    the maximum number of non-primitive concepts allowed in the _cache
  - setMaxSize
```
void setMaxSize(int maxSize)
```
    Set the maximum number of non-primitive concepts allowed in the cache
    
    Parameters:
    
    maxSize -
  - getSat
```
Bool getSat(openllet.aterm.ATermAppl c)
```
    Parameters:
    
    c - is the concept
    
    Returns:
    
    the satisfiability status of a concept as a three-value boolean.
  - putSat
```
boolean putSat(openllet.aterm.ATermAppl c,
               boolean isSatisfiable)
```
    Put an incomplete
    
    Parameters:
    
    c -
    
    isSatisfiable -
    
    Returns:
    
    true if put is success
  - isMergable
```
Bool isMergable(KnowledgeBase kb,
                CachedNode node1,
                CachedNode node2)
```
    Parameters:
    
    kb -
    
    node1 -
    
    node2 -
    
    Returns:
    
    true if mergable
  - checkNominalEdges
```
Bool checkNominalEdges(KnowledgeBase kb,
                       CachedNode node1,
                       CachedNode node2)
```
    Parameters:
    
    kb -
    
    node1 -
    
    node2 -
    
    Returns:
    
    true if nominal
  - getSafety
```
CacheSafety getSafety()
```
    Returns safety checker that tells which concepts are safe to _cache.
    
    Returns:
    
    safety checker