|
||||||||||
| 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 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 reusepublic 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
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||