Uses of Interface
net.ssehub.easy.varModel.capabilities.IReasonerCapability

Packages that use IReasonerCapability

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.
net.ssehub.easy.varModel.capabilities	Forward reasoner access.

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

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

Modifier and Type	Method	Description
private static IReasoner	ReasonerFrontend.checkForCapabilitiy(IReasoner reasoner, IReasonerCapability capability)	Checks reasoner for the given reasoner capability.
boolean	ReasonerFrontend.DefaultReasonerProvider.hasCapability(IReasonerCapability capability)
boolean	ReasonerFrontend.hasReasonerCapability(IReasonerCapability capability)	Return whether the current reasoner hint has a specific capability.
boolean	ReasonerFrontend.hasReasonerCapability(IReasonerCapability capability, ReasonerConfiguration reasonerConfiguration)	Return whether the current reasoner hint has a specific capability.

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

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

Modifier and Type	Class	Description
class	GeneralReasonerCapabilities	Defines general reasoner capabilities.

Fields in net.ssehub.easy.reasoning.core.reasoner with type parameters of type IReasonerCapability

Modifier and Type	Field	Description
private java.util.Set<IReasonerCapability>	ReasonerDescriptor.capabilities

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

Modifier and Type	Method	Description
IReasonerCapability[]	ReasonerDescriptor.getCapabilities()	Returns the supported capabilities.

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

Modifier and Type	Method	Description
protected void	ReasonerDescriptor.addCapability(IReasonerCapability capability)	Adds a capability.
boolean	ReasonerDescriptor.hasCapability(IReasonerCapability capability)	Returns whether the described reasoner has the given capability.

Method parameters in net.ssehub.easy.reasoning.core.reasoner with type arguments of type IReasonerCapability

Modifier and Type	Method	Description
protected void	ReasonerDescriptor.addCapabilities(java.util.Collection<IReasonerCapability> capabilities)	Adds a collection of capabilities.

Uses of IReasonerCapability in net.ssehub.easy.varModel.capabilities

Classes in net.ssehub.easy.varModel.capabilities that implement IReasonerCapability

Modifier and Type	Class	Description
class	IvmlReasonerCapabilities	Defines some differentiating reasoner capabilities to react in EASy on provided capabilities in an abstract way.

Methods in net.ssehub.easy.varModel.capabilities with parameters of type IReasonerCapability

Modifier and Type	Method	Description
static boolean	DefaultReasonerAccess.hasCapability(IReasonerCapability capability)	Returns whether the default reasoner (if known) has a certain capability.
boolean	DefaultReasonerAccess.IDefaultReasonerProvider.hasCapability(IReasonerCapability capability)	Returns whether the default reasoner (if known) has a certain capability.