org.qedeq.kernel.bo.service.logic
Class SimpleProofFinderPlugin

java.lang.Object
  org.qedeq.kernel.bo.service.logic.SimpleProofFinderPlugin

All Implemented Interfaces:

ModuleServicePlugin, ModuleService, Service

public final class SimpleProofFinderPlugin
extends java.lang.Object
implements ModuleServicePlugin

Finds primitive formal proofs.

Author:

Michael Meyling

Constructor Summary

SimpleProofFinderPlugin()

Method Summary

ModuleServicePluginExecutor	createExecutor(KernelQedeqBo qedeq, Parameters parameters) Create execution instance for this plugin.
java.lang.String	getServiceAction() Get service action name.
java.lang.String	getServiceDescription() Get service description.
java.lang.String	getServiceId() Get service id.
void	setDefaultValuesForEmptyPluginParameters(Parameters parameters) Set default configuration parameters.

Methods inherited from class java.lang.Object

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

Constructor Detail

SimpleProofFinderPlugin

public SimpleProofFinderPlugin()

Method Detail

getServiceId

public java.lang.String getServiceId()

Description copied from interface: Service

Get service id.

Specified by:

getServiceId in interface Service

Returns:

Service id.

getServiceAction

public java.lang.String getServiceAction()

Description copied from interface: Service

Get service action name. This is what the service does.

Specified by:

getServiceAction in interface Service

Returns:

Service action name.

getServiceDescription

public java.lang.String getServiceDescription()

Description copied from interface: Service

Get service description.

Specified by:

getServiceDescription in interface Service

Returns:

Description of service.

createExecutor

public ModuleServicePluginExecutor createExecutor(KernelQedeqBo qedeq,
                                                  Parameters parameters)

Description copied from interface: ModuleServicePlugin

Create execution instance for this plugin.

Specified by:

createExecutor in interface ModuleServicePlugin

Parameters:

qedeq - QEDEQ module to work on.

parameters - Plugin specific parameters. Might not be null.

Returns:

Instance to execute the plugin.

setDefaultValuesForEmptyPluginParameters

public void setDefaultValuesForEmptyPluginParameters(Parameters parameters)

Description copied from interface: ModuleServicePlugin

Set default configuration parameters.

Specified by:

setDefaultValuesForEmptyPluginParameters in interface ModuleServicePlugin

Parameters:

parameters - Plugin specific parameters. Non existing key value pairs will be replaced by default values.