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

Constructors

Constructor and Description
ElkReasonerProgressMonitor(org.semanticweb.owlapi.reasoner.ReasonerProgressMonitor pm)

Method Summary

Methods

Modifier and Type	Method and Description
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