org.mindswap.pellet.tableau.cache

Class CacheSafetyNeverSafe

java.lang.Object

org.mindswap.pellet.tableau.cache.CacheSafetyNeverSafe

All Implemented Interfaces:

CacheSafety

public class CacheSafetyNeverSafe
extends Object
implements CacheSafety

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

Author:

Evren Sirin

Method Summary

Methods

Modifier and Type	Method and Description
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

clone, equals, finalize, 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