org.qedeq.kernel.se.common
Interface ServiceCompleteness

All Known Subinterfaces:

ModuleServicePluginExecutor

All Known Implementing Classes:

DynamicHeuristicCheckerExecutor, FormalProofCheckerExecutor, LoadDirectlyRequiredModulesExecutor, LoadRequiredModulesExecutor, Qedeq2LatexExecutor, Qedeq2UnicodeTextExecutor, Qedeq2Utf8Executor, QedeqNotNullTraverser, SimpleProofFinderExecutor, WellFormedCheckerExecutor

public interface ServiceCompleteness

An instance of this interface can answer the question which percentage is already finished.

Author:

Michael Meyling

Method Summary

java.lang.String	getLocationDescription() Get readable description of current location.
double	getVisitPercentage() Get calculated visit percentage.

Method Detail

getVisitPercentage

double getVisitPercentage()

Get calculated visit percentage. This is a monotonically nondecreasing visit function.

Returns:

Value between 0 and 100.

getLocationDescription

java.lang.String getLocationDescription()

Get readable description of current location.

Returns:

Description.