|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |