org.semanticweb.elk.owlapi
Class ElkReasonerProgressMonitor

java.lang.Object
  org.semanticweb.elk.owlapi.ElkReasonerProgressMonitor

All Implemented Interfaces:

ProgressMonitor

public class ElkReasonerProgressMonitor
extends Object
implements ProgressMonitor

Wrapper of the OWL ReasonerProgressMonitor for ELK ProgressMonitor interface.

Author:

Yevgeny Kazakov

Constructor Summary

ElkReasonerProgressMonitor(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor pm)

Method Summary

void	finish()
void	report(int state, int maxState)
void	start(String message)

Methods inherited from class java.lang.Object

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

Constructor Detail

ElkReasonerProgressMonitor

public ElkReasonerProgressMonitor(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor pm)

Method Detail

start

public void start(String message)

Specified by:

start in interface ProgressMonitor

report

public void report(int state,
                   int maxState)

Specified by:

report in interface ProgressMonitor

finish

public void finish()

Specified by:

finish in interface ProgressMonitor