Package openllet.core.tableau.cache
Class CacheSafetyNeverSafe
- java.lang.Object
-
- openllet.core.tableau.cache.CacheSafetyNeverSafe
-
- All Implemented Interfaces:
CacheSafety
public class CacheSafetyNeverSafe extends java.lang.Object implements CacheSafety
A singleton implementation of CacheSafety that says it is never safe to reuse cached results.- Author:
- Evren Sirin
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
canSupport(Expressivity expressivity)
Check if this safety checker can be used with the specified expressivity.static CacheSafetyNeverSafe
getInstance()
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
-
getInstance
public static CacheSafetyNeverSafe getInstance()
-
isSafe
public 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.- Specified by:
isSafe
in interfaceCacheSafety
- Parameters:
c
- The concept for which we want to reuse previously cached satisfiability resultind
- The node in the completion graph represented by the concept- Returns:
true
if a previously cached satisfiability result is safe to reuse
-
canSupport
public boolean canSupport(Expressivity expressivity)
Check if this safety checker can be used with the specified expressivity.- Specified by:
canSupport
in interfaceCacheSafety
- 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
-
-