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"). Addorg.eclipse.equinox.dsto the required plugins andorg.osgi.service.componentto the imported packages as your reasoner will be linked using OSGi descriptive services (DS) to the reasoner core.net.ssehub.easy.reasoning.sseReasoner Package contains the EASy-Producer reasoner implementation classes. -
-
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 Description private IReasonerInstanceReasonerAdapter.InstanceReasonerAdapter. instanceMethods in net.ssehub.easy.reasoning.core.frontend that return IReasonerInstance Modifier and Type Method Description IReasonerInstanceAbstractChainedReasoner. createInstance(Configuration cfg, ReasonerConfiguration reasonerConfiguration)IReasonerInstanceReasonerFrontend. createInstance(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 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 Description classDelegatingReasonerInstanceProvides 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 Description IReasonerInstanceIReasoner. createInstance(Configuration cfg, ReasonerConfiguration reasonerConfiguration)Creates a reasoner instance for repeated reasoning on the same model (no structural changes allowed during two subsequent reasoning runs). -
Uses of IReasonerInstance in net.ssehub.easy.reasoning.sseReasoner
Classes in net.ssehub.easy.reasoning.sseReasoner that implement IReasonerInstance Modifier and Type Class Description private classReasoner.ReasonerInstanceA reusable reasoner instance.Methods in net.ssehub.easy.reasoning.sseReasoner that return IReasonerInstance Modifier and Type Method Description IReasonerInstanceReasoner. createInstance(Configuration cfg, ReasonerConfiguration reasonerConfiguration)
-