Uses of Interface
net.ssehub.easy.reasoning.core.frontend.IReasonerInstance

Packages that use IReasonerInstance

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

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

Modifier and Type	Field and Description
private IReasonerInstance	ReasonerAdapter.InstanceReasonerAdapter.instance

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

Modifier and Type	Method and Description
IReasonerInstance	AbstractChainedReasoner.createInstance(net.ssehub.easy.varModel.confModel.Configuration cfg, ReasonerConfiguration reasonerConfiguration)
IReasonerInstance	ReasonerFrontend.createInstance(net.ssehub.easy.varModel.confModel.Configuration cfg, ReasonerConfiguration reasonerConfiguration) Creates a reasoner instance for repeated reasoning on the same model (no structural changes allowed during two subsequent reasoning runs).

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

Constructor and Description
InstanceReasonerAdapter(IReasonerInstance instance) Creates a new instance reasoner adapter .

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

Classes in net.ssehub.easy.reasoning.core.reasoner that implement IReasonerInstance

Modifier and Type	Class and Description
class	DelegatingReasonerInstance Provides a default implementation for reasoner instances by delegating the respective calls to a given delegate reasoner.

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

Modifier and Type	Method and Description
IReasonerInstance	IReasoner.createInstance(net.ssehub.easy.varModel.confModel.Configuration cfg, ReasonerConfiguration reasonerConfiguration) Creates a reasoner instance for repeated reasoning on the same model (no structural changes allowed during two subsequent reasoning runs).