Uses of Class
net.ssehub.easy.reasoning.core.reasoner.ReasonerDescriptor

Packages that use ReasonerDescriptor

Package	Description
net.ssehub.easy.reasoning.core.frontend	Frontend to access reasoner information as well as to execute reasoning tasks.
net.ssehub.easy.reasoning.core.impl	Hidden implementation stuff.
net.ssehub.easy.reasoning.core.reasoner	All classes and interfaces needed to implement a reasoner. How to write a reasoner: Create an Eclipse Plugin project with Activator (even if "empty"). Add org.eclipse.equinox.ds to the required plugins and org.osgi.service.component to the imported packages as your reasoner will be linked using OSGi descriptive services (DS) to the reasoner core.

Uses of ReasonerDescriptor in net.ssehub.easy.reasoning.core.frontend

Subclasses of ReasonerDescriptor in net.ssehub.easy.reasoning.core.frontend

Modifier and Type	Class and Description
private static class	AbstractChainedReasoner.DerivedReasonerDescriptor Implements a derived reasoner descriptor taking over capabilities.

Fields in net.ssehub.easy.reasoning.core.frontend declared as ReasonerDescriptor

Modifier and Type	Field and Description
private ReasonerDescriptor	AbstractChainedReasoner.descriptor

Methods in net.ssehub.easy.reasoning.core.frontend that return ReasonerDescriptor

Modifier and Type	Method and Description
private static ReasonerDescriptor	AbstractChainedReasoner.deriveDescriptor(java.lang.String name, java.lang.String version, ReasonerDescriptor[] chain) Derives the descriptor from the descriptor chain.
ReasonerDescriptor	AbstractChainedReasoner.getDescriptor()
ReasonerDescriptor	IReasonerInstance.getDescriptor() Returns a descriptor stating common information about this reasoner.
ReasonerDescriptor	ReasonerFrontend.getPreferredReasoner() Returns the preferred reasoner descriptor due to internal knowledge about the reasoner implementation status.
ReasonerDescriptor	ReasonerFrontend.getReasonerDescriptor(int index) Returns the descriptor for a specific reasoner.
ReasonerDescriptor	ReasonerFrontend.getReasonerHint() Returns the current reasoner hint.
ReasonerDescriptor	ReasonerFrontend.setPreferredReasoner() Sets the actually preferred reasoner as hint.

Methods in net.ssehub.easy.reasoning.core.frontend with parameters of type ReasonerDescriptor

Modifier and Type	Method and Description
private void	AbstractChainedReasoner.DerivedReasonerDescriptor.addCapabilities(ReasonerDescriptor desc) Adds the capabilities of desc to the capabilities of this reasoner descriptor.
private static ReasonerDescriptor	AbstractChainedReasoner.deriveDescriptor(java.lang.String name, java.lang.String version, ReasonerDescriptor[] chain) Derives the descriptor from the descriptor chain.
(package private) IReasoner	ReasonerFrontend.findReasoner(ReasonerDescriptor descriptor) Finds a reasoner and throws related exceptions.
boolean	ReasonerFrontend.isChainingReasoner(ReasonerDescriptor descriptor) Returns whether the reasoner registered for this descriptor is a chaining reasoner.
void	IMessageListener.notify(ReasonerDescriptor reasoner, IReasonerMessage.IType type) Is called when a reasoner message is issued.
void	ReasonerFrontend.setReasonerHint(ReasonerDescriptor descriptor) Defines that the specified reasoner shall be used.
ReasoningResult	ReasonerFrontend.upgradeReasoner(ReasonerDescriptor descriptor, java.net.URI uri, net.ssehub.easy.basics.progress.ProgressObserver observer) Updates a reasoner installation, e.g., in order to obtain a licensed reasoner version.

Constructors in net.ssehub.easy.reasoning.core.frontend with parameters of type ReasonerDescriptor

Constructor and Description
AbstractChainedReasoner(ReasonerDescriptor descriptor, ReasonerDescriptor... chain) Creates an reasoner chain with given descriptor.
AbstractChainedReasoner(ReasonerDescriptor descriptor, ReasonerDescriptor... chain) Creates an reasoner chain with given descriptor.
AbstractChainedReasoner(java.lang.String name, java.lang.String version, ReasonerDescriptor... chain) Creates an reasoner chain with given name and version.

Uses of ReasonerDescriptor in net.ssehub.easy.reasoning.core.impl

Methods in net.ssehub.easy.reasoning.core.impl with parameters of type ReasonerDescriptor

Modifier and Type	Method and Description
IReasoner	ReasonerRegistry.findReasoner(ReasonerDescriptor descriptor) Returns the reasoner which provides the given descriptor.

Uses of ReasonerDescriptor in net.ssehub.easy.reasoning.core.reasoner

Fields in net.ssehub.easy.reasoning.core.reasoner declared as ReasonerDescriptor

Modifier and Type	Field and Description
private ReasonerDescriptor	ReasonerConfiguration.defaultReasoner

Methods in net.ssehub.easy.reasoning.core.reasoner that return ReasonerDescriptor

Modifier and Type	Method and Description
ReasonerDescriptor	ReasonerConfiguration.getDefaultResoner() Returns the default reasoner.
ReasonerDescriptor	IReasoner.getDescriptor() Returns a descriptor stating common information about this reasoner.
ReasonerDescriptor	DelegatingReasonerInstance.getDescriptor()

Methods in net.ssehub.easy.reasoning.core.reasoner with parameters of type ReasonerDescriptor

Modifier and Type	Method and Description
ReasonerConfiguration	ReasonerConfiguration.setDefaultReasoner(ReasonerDescriptor defaultReasoner) Changes the default reasoner.