com.clarkparsia.explanation.util
Class SilentExplanationProgressMonitor

java.lang.Object
  extended by com.clarkparsia.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