|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.mindswap.pellet.tableau.cache.CacheSafetyDynamic
public class CacheSafetyDynamic
A cache safety implementation that checks the cached result and the context in which we try to reuse it to decide if it is safe to reuse the result.
Method Summary | |
---|---|
boolean |
canSupport(Expressivity expressivity)
Check if this safety checker can be used with the specified expressivity. |
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 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 expressivitypublic 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 reuse
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |