|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface CacheSafety
A class to check if a previsouly cached satisfiability result is safe to reuse for a specific node in the completion graph.
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. |
Method Detail |
---|
boolean canSupport(Expressivity expressivity)
expressivity
- Expressivity of the KB where safety check will be performed
true
if this safety checker can be used with the specified expressivityboolean isSafe(aterm.ATermAppl c, Individual ind)
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 |