org.mindswap.pellet.tableau.cache
Class CacheSafetyNeverSafe

java.lang.Object
  extended by org.mindswap.pellet.tableau.cache.CacheSafetyNeverSafe
All Implemented Interfaces:
CacheSafety

public class CacheSafetyNeverSafe
extends java.lang.Object
implements CacheSafety

A singleton implementation of CacheSafety that says it is never safe to reuse cached results.

Author:
Evren Sirin

Method Summary
 boolean canSupport(Expressivity expressivity)
          Check if this safety checker can be used with the specified expressivity.
static CacheSafetyNeverSafe 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

getInstance

public static CacheSafetyNeverSafe getInstance()

isSafe

public 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.

Specified by:
isSafe in interface CacheSafety
Parameters:
c - The concept for which we want to reuse previously cached satisfiability result
ind - The node in the completion graph represented by the concept
Returns:
true if a previously cached satisfiability result is safe to reuse

canSupport

public boolean canSupport(Expressivity expressivity)
Check if this safety checker can be used with the specified expressivity.

Specified by:
canSupport in interface CacheSafety
Parameters:
expressivity - Expressivity of the KB where safety check will be performed
Returns:
true if this safety checker can be used with the specified expressivity


Copyright © 2004 Evren Sirin. All Rights Reserved.