com.clarkparsia.owlapi.explanation.util
Class SilentExplanationProgressMonitor

java.lang.Object
  com.clarkparsia.owlapi.explanation.util.SilentExplanationProgressMonitor

All Implemented Interfaces:

ExplanationProgressMonitor

public class SilentExplanationProgressMonitor
extends java.lang.Object
implements ExplanationProgressMonitor

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 26-Nov-2007

Constructor Summary

SilentExplanationProgressMonitor()

Method Summary

void	foundAllExplanations() Called when all explanations have been found.
void	foundExplanation(java.util.Set<OWLAxiom> axioms) Called when an explanation has been found.
boolean	isCancelled() Determines if the process of generating explanations has been cancelled.

Methods inherited from class java.lang.Object

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

Constructor Detail

SilentExplanationProgressMonitor

public SilentExplanationProgressMonitor()

Method Detail

foundExplanation

public void foundExplanation(java.util.Set<OWLAxiom> axioms)

Description copied from interface: ExplanationProgressMonitor

Called when an explanation has been found.

Specified by:

foundExplanation in interface ExplanationProgressMonitor

Parameters:

axioms - The axioms that constitute the explanation

isCancelled

public boolean isCancelled()

Description copied from interface: ExplanationProgressMonitor

Determines if the process of generating explanations has been cancelled.

Specified by:

isCancelled in interface ExplanationProgressMonitor

Returns:

true if the process has been cancelled, or false if the process hasn't been cancelled.

foundAllExplanations

public void foundAllExplanations()

Description copied from interface: ExplanationProgressMonitor

Called when all explanations have been found.

Specified by:

foundAllExplanations in interface ExplanationProgressMonitor