Uses of Interface
net.ssehub.easy.reasoning.core.reasoner.IReasoner

Packages that use IReasoner

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 IReasoner in net.ssehub.easy.reasoning.core.frontend

Classes in net.ssehub.easy.reasoning.core.frontend that implement IReasoner

Modifier and Type	Class and Description
class	AbstractChainedReasoner Implements an abstract chained reasoner.

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

Modifier and Type	Field and Description
private IReasoner	ReasonerFrontend.reasonerHint

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

Modifier and Type	Method and Description
private static IReasoner	ReasonerFrontend.canInitializeConfig(IReasoner reasoner) Checks reasoner for GeneralReasonerCapabilities.CONFIGURATION_INITIALIZATION.
private static IReasoner	ReasonerFrontend.checkForCapabilitiy(IReasoner reasoner, net.ssehub.easy.varModel.capabilities.IReasonerCapability capability) Checks reasoner for the given reasoner capability.
(package private) IReasoner	ReasonerFrontend.findReasoner(ReasonerDescriptor descriptor) Finds a reasoner and throws related exceptions.
IReasoner	ReasonerFrontend.findReasoner(java.lang.String name, java.lang.String version) Returns the first version with given name and version.
private IReasoner	ReasonerFrontend.getActualReasoner(net.ssehub.easy.varModel.confModel.Configuration configuration, java.util.List<net.ssehub.easy.varModel.model.Constraint> constraints, ReasonerConfiguration reasonerConfiguration) Returns the actual and matching reasoner.

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

Modifier and Type	Method and Description
private static IReasoner	ReasonerFrontend.canInitializeConfig(IReasoner reasoner) Checks reasoner for GeneralReasonerCapabilities.CONFIGURATION_INITIALIZATION.
private static IReasoner	ReasonerFrontend.checkForCapabilitiy(IReasoner reasoner, net.ssehub.easy.varModel.capabilities.IReasonerCapability capability) Checks reasoner for the given reasoner capability.
private static boolean	ReasonerFrontend.isReadyForUse(IReasoner reasoner) Returns whether the given reasoner is ready for use.

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

Fields in net.ssehub.easy.reasoning.core.impl declared as IReasoner

Modifier and Type	Field and Description
private IReasoner	ReasonerMessage.source

Fields in net.ssehub.easy.reasoning.core.impl with type parameters of type IReasoner

Modifier and Type	Field and Description
private java.util.ArrayList<IReasoner>	ReasonerRegistry.reasoner

Methods in net.ssehub.easy.reasoning.core.impl that return IReasoner

Modifier and Type	Method and Description
IReasoner	ReasonerRegistry.findReasoner(ReasonerDescriptor descriptor) Returns the reasoner which provides the given descriptor.
IReasoner	ReasonerRegistry.findReasoner(java.lang.String name, java.lang.String version) Returns the first version with given name and version.
IReasoner	ReasonerRegistry.getReasoner(int index) Returns the IReasoner at the specified position in this list.
IReasoner	ReasonerMessage.getSource()

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

Modifier and Type	Method and Description
void	ReasonerRegistry.notifyAllReasoners(IReasoner source, IReasonerMessage.IType type)
void	ReasonerRegistry.register(IReasoner reasoner)
void	ReasonerRegistry.unregister(IReasoner reasoner)

Constructors in net.ssehub.easy.reasoning.core.impl with parameters of type IReasoner

Constructor and Description
ReasonerMessage(IReasoner source, IReasonerMessage.IType type) Creates a reasoner message.

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

Subinterfaces of IReasoner in net.ssehub.easy.reasoning.core.reasoner

Modifier and Type	Interface and Description
interface	IChainingReasoner A specialized interface for reasoners, which, in principle, can be chained, i.e., composed to a chain of reasoners, passing along results and configurations.

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

Modifier and Type	Field and Description
private IReasoner	DelegatingReasonerInstance.delegate

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

Modifier and Type	Method and Description
IReasoner	IReasonerMessage.getSource() Returns the message source.

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

Modifier and Type	Method and Description
void	IReasonerRegistry.notifyAllReasoners(IReasoner source, IReasonerMessage.IType type) Notifies all reasoners about a given event.
void	IReasonerRegistry.register(IReasoner reasoner) Adds a new Reasoner to the registry.
void	IReasonerRegistry.unregister(IReasoner reasoner) Removes the specified reasoner from the registry, if the reasoner was added before.

Constructors in net.ssehub.easy.reasoning.core.reasoner with parameters of type IReasoner

Constructor and Description
DelegatingReasonerInstance(net.ssehub.easy.varModel.confModel.Configuration config, ReasonerConfiguration rConfig, IReasoner delegate) Creates a delegating reasoner instance.