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.
 



Copyright © 2014. All Rights Reserved.