org.semanticweb.owl.explanation.api

Class ConsoleExplanationProgressMonitor<E>

java.lang.Object

org.semanticweb.owl.explanation.api.ConsoleExplanationProgressMonitor<E>

All Implemented Interfaces:

ExplanationProgressMonitor<E>

public class ConsoleExplanationProgressMonitor<E>
extends Object
implements ExplanationProgressMonitor<E>

Author: Matthew Horridge
The University of Manchester
Information Management Group
Date: 28-Nov-2008

Constructor Summary

Constructors

Constructor and Description
ConsoleExplanationProgressMonitor()

Method Summary

Methods

Modifier and Type	Method and Description
void	foundExplanation(ExplanationGenerator<E> explanationGenerator, Explanation<E> explanation, Set<Explanation<E>> allExplanations) Called by explanation generators that support progress monitors.
boolean	isCancelled() The explanation generator will periodically check to see if it should continue finding explanations by calling this method.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConsoleExplanationProgressMonitor

public ConsoleExplanationProgressMonitor()

Method Detail

foundExplanation

public void foundExplanation(ExplanationGenerator<E> explanationGenerator,
                    Explanation<E> explanation,
                    Set<Explanation<E>> allExplanations)

Description copied from interface: ExplanationProgressMonitor

Called by explanation generators that support progress monitors. This is called when a new explanation is found for an entailment when searching for multiple explanations.

Specified by:

foundExplanation in interface ExplanationProgressMonitor<E>

Parameters:

explanationGenerator - The explanation generator that found the explanation

explanation - The explanation that was found for the entailment or false if the explanation generator should stop finding explanations at the next opportunity.

allExplanations - All of the explanations found so far for the specified entailment

isCancelled

public boolean isCancelled()

Description copied from interface: ExplanationProgressMonitor

The explanation generator will periodically check to see if it should continue finding explanations by calling this method.

Specified by:

isCancelled in interface ExplanationProgressMonitor<E>

Returns:

true if the explanation generator should cancel the explanation finding process or false if the explanation generator should continue.