com.clarkparsia.owlapi.explanation.util

Class SilentExplanationProgressMonitor

java.lang.Object

com.clarkparsia.owlapi.explanation.util.SilentExplanationProgressMonitor

All Implemented Interfaces:

ExplanationProgressMonitor

public class SilentExplanationProgressMonitor
extends Object
implements ExplanationProgressMonitor

The Class SilentExplanationProgressMonitor.

Author:

Matthew Horridge, Clark & Parsia, LLC, Bio-Health Informatics Group, Date: 26-Nov-2007

Constructor Summary

Constructors

Constructor and Description
SilentExplanationProgressMonitor()

Method Summary

Methods

Modifier and Type	Method and Description
void	foundAllExplanations() Called when all explanations have been found.
void	foundExplanation(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(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