Uses of Class
org.qedeq.base.io.Parameters

Packages that use Parameters

org.qedeq.base.io	Common input and output methods and access objects for text reading and writing are provided here.
org.qedeq.kernel.bo.job	Everything for the module service plugins
org.qedeq.kernel.bo.logic.proof.common	Contains common proof classes.
org.qedeq.kernel.bo.logic.proof.finder	Proof finder can be found here.
org.qedeq.kernel.bo.module	Business objects for qedeq modules.
org.qedeq.kernel.bo.service.basis	Contains business object controllers.
org.qedeq.kernel.bo.service.dependency	Plugin for loading all required modules.
org.qedeq.kernel.bo.service.heuristic	Plugin for model checking of formulas.
org.qedeq.kernel.bo.service.internal	Central module service plugin functionality.
org.qedeq.kernel.bo.service.latex	LaTeX export abilities of the kernel.
org.qedeq.kernel.bo.service.logic	Contains logical services.
org.qedeq.kernel.bo.service.unicode	UTF-8 export abilities of the kernel.
org.qedeq.kernel.se.config	Herein is the configuration for the kernel.

Uses of Parameters in org.qedeq.base.io

Fields in org.qedeq.base.io declared as Parameters

static Parameters

Parameters.EMPTY Empty parameters.

Uses of Parameters in org.qedeq.kernel.bo.job

Methods in org.qedeq.kernel.bo.job that return Parameters

Parameters	InternalModuleServiceCallImpl.getConfigParameters()
Parameters	InternalModuleServiceCallImpl.getParameters()

Constructors in org.qedeq.kernel.bo.job with parameters of type Parameters

InternalModuleServiceCallImpl(Service service, QedeqBo qedeq, Parameters config, Parameters parameters, InternalServiceJob process, ModuleServiceCall parent)
A new service process within the current thread.

Uses of Parameters in org.qedeq.kernel.bo.logic.proof.common

Methods in org.qedeq.kernel.bo.logic.proof.common with parameters of type Parameters

void	ProofFinder.findProof(Element formula, FormalProofLineList proof, ModuleContext context, Parameters parameters, ModuleLogListener log, Element2Utf8 transform) Finds a formal proof.

Uses of Parameters in org.qedeq.kernel.bo.logic.proof.finder

Methods in org.qedeq.kernel.bo.logic.proof.finder with parameters of type Parameters

void	ProofFinderImpl.findProof(Element formula, FormalProofLineList proof, ModuleContext context, Parameters parameters, ModuleLogListener log, Element2Utf8 trans)

Uses of Parameters in org.qedeq.kernel.bo.module

Methods in org.qedeq.kernel.bo.module that return Parameters

Parameters	InternalModuleServiceCall.getConfigParameters() Get global config parameters for service call.
Parameters	InternalModuleServiceCall.getParameters() Get call specific parameters for service call.

Uses of Parameters in org.qedeq.kernel.bo.service.basis

Methods in org.qedeq.kernel.bo.service.basis with parameters of type Parameters

ModuleServicePluginExecutor	ModuleServicePlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters) Create execution instance for this plugin.
void	ModuleServicePlugin.setDefaultValuesForEmptyPluginParameters(Parameters parameters) Set default configuration parameters.

Uses of Parameters in org.qedeq.kernel.bo.service.dependency

Methods in org.qedeq.kernel.bo.service.dependency with parameters of type Parameters

ModuleServicePluginExecutor	LoadRequiredModulesPlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)
ModuleServicePluginExecutor	LoadDirectlyRequiredModulesPlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)
void	LoadRequiredModulesPlugin.setDefaultValuesForEmptyPluginParameters(Parameters parameters)
void	LoadDirectlyRequiredModulesPlugin.setDefaultValuesForEmptyPluginParameters(Parameters parameters)

Constructors in org.qedeq.kernel.bo.service.dependency with parameters of type Parameters

LoadDirectlyRequiredModulesExecutor(ModuleService plugin, KernelQedeqBo prop, Parameters parameter)
Constructor.

Uses of Parameters in org.qedeq.kernel.bo.service.heuristic

Methods in org.qedeq.kernel.bo.service.heuristic with parameters of type Parameters

ModuleServicePluginExecutor	DynamicHeuristicCheckerPlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)
void	DynamicHeuristicCheckerPlugin.setDefaultValuesForEmptyPluginParameters(Parameters parameters)

Uses of Parameters in org.qedeq.kernel.bo.service.internal

Methods in org.qedeq.kernel.bo.service.internal with parameters of type Parameters

InternalModuleServiceCallImpl

ServiceProcessManager.createServiceCall(Service service, QedeqBo qedeq, Parameters configParameters, Parameters parameters, InternalServiceJob process) Create service call.

Uses of Parameters in org.qedeq.kernel.bo.service.latex

Methods in org.qedeq.kernel.bo.service.latex with parameters of type Parameters

ModuleServicePluginExecutor	Qedeq2LatexPlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)
void	Qedeq2LatexPlugin.setDefaultValuesForEmptyPluginParameters(Parameters parameters)

Constructors in org.qedeq.kernel.bo.service.latex with parameters of type Parameters

Qedeq2LatexExecutor(ModuleService plugin, KernelQedeqBo prop, Parameters parameters)
Constructor.

Uses of Parameters in org.qedeq.kernel.bo.service.logic

Methods in org.qedeq.kernel.bo.service.logic with parameters of type Parameters

ModuleServicePluginExecutor	SimpleProofFinderPlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)
ModuleServicePluginExecutor	FormalProofCheckerPlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)
ModuleServicePluginExecutor	WellFormedCheckerPlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)
void	SimpleProofFinderPlugin.setDefaultValuesForEmptyPluginParameters(Parameters parameters)
void	FormalProofCheckerPlugin.setDefaultValuesForEmptyPluginParameters(Parameters parameters)
void	WellFormedCheckerPlugin.setDefaultValuesForEmptyPluginParameters(Parameters parameters)

Uses of Parameters in org.qedeq.kernel.bo.service.unicode

Methods in org.qedeq.kernel.bo.service.unicode with parameters of type Parameters

ModuleServicePluginExecutor	Qedeq2Utf8Plugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)
ModuleServicePluginExecutor	Qedeq2UnicodeTextPlugin.createExecutor(KernelQedeqBo qedeq, Parameters parameters)
void	Qedeq2Utf8Plugin.setDefaultValuesForEmptyPluginParameters(Parameters parameters)
void	Qedeq2UnicodeTextPlugin.setDefaultValuesForEmptyPluginParameters(Parameters parameters)

Constructors in org.qedeq.kernel.bo.service.unicode with parameters of type Parameters

Qedeq2Utf8Executor(ModuleService plugin, KernelQedeqBo prop, Parameters parameters)
Constructor.

Uses of Parameters in org.qedeq.kernel.se.config

Methods in org.qedeq.kernel.se.config that return Parameters

Parameters

QedeqConfig.getServiceEntries(Service service) Get service properties from configuration file.

Methods in org.qedeq.kernel.se.config with parameters of type Parameters

void	QedeqConfig.setServiceKeyValues(Service service, Parameters parameters) Set value for given service key.