|
||||||||||
| 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 CacheSafetyexpressivity - Expressivity of the KB where safety check will be performed
true if this safety checker can be used with the specified expressivity
public boolean isSafe(aterm.ATermAppl c,
Individual ind)
isSafe in interface CacheSafetyc - 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 | |||||||||