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

Packages that use IReasonerCapability

Package	Description
net.ssehub.easy.varModel.capabilities	Forward reasoner access.

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

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

Modifier and Type	Class	Description
enum	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.