|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.mindswap.pellet.tableau.cache.CacheSafetyAlwaysSafe
public class CacheSafetyAlwaysSafe
A singleton implementation of CacheSafety that always says it is safe to reuse cached results.
Method Summary | |
---|---|
boolean |
canSupport(Expressivity expressivity)
Check if this safety checker can be used with the specified expressivity. |
static CacheSafetyAlwaysSafe |
getInstance()
|
boolean |
isSafe(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. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public static CacheSafetyAlwaysSafe getInstance()
public boolean isSafe(aterm.ATermAppl c, Individual ind)
isSafe
in interface CacheSafety
c
- The concept for which we want to reuse previously cached satisfiability resultind
- The node in the completion graph represented by the concept
true
if a previously cached satisfiability result is safe to reusepublic boolean canSupport(Expressivity expressivity)
canSupport
in interface CacheSafety
expressivity
- Expressivity of the KB where safety check will be performed
true
if this safety checker can be used with the specified expressivity
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |