CacheSafety (Openllet :: Core 2.6.5 API)

All Known Implementing Classes:

CacheSafetyAlwaysSafe, CacheSafetyDynamic, CacheSafetyNeverSafe
```
public interface CacheSafety
```
A class to check if a previsouly cached satisfiability result is safe to reuse for a specific _node in the completion graph.

Author:

Evren Sirin

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`boolean`	`canSupport(Expressivity expressivity)`	Check if this safety checker can be used with the specified expressivity.
`boolean`	`isSafe(openllet.aterm.ATermAppl c, Individual ind)`	Returns if a previously cached satisfiability result is safe to reuse for a given concept and node in the completion graph.

- Method Detail
  - canSupport
```
boolean canSupport(Expressivity expressivity)
```
    Check if this safety checker can be used with the specified expressivity.
    
    Parameters:
    
    expressivity - Expressivity of the KB where safety check will be performed
    
    Returns:
    
    true if this safety checker can be used with the specified expressivity
  - isSafe
```
boolean isSafe(openllet.aterm.ATermAppl c,
               Individual ind)
```
    Returns if a previously cached satisfiability result is safe to reuse for a given concept and node in the completion graph.
    
    Parameters:
    
    c - The concept for which we want to reuse previously cached satisfiability result
    
    ind - The node in the completion graph represented by the concept
    
    Returns:
    
    true if a previously cached satisfiability result is safe to reuse