Uses of Package
net.ssehub.easy.varModel.capabilities
-
Packages that use net.ssehub.easy.varModel.capabilities 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.varModel.capabilities Forward reasoner access. -
Classes in net.ssehub.easy.varModel.capabilities used by net.ssehub.easy.reasoning.core.frontend Class Description DefaultReasonerAccess.IDefaultReasonerProvider Defines the interface for a reasoner provider.IReasonerCapability Defines the basic types for reasoner capability constants. -
Classes in net.ssehub.easy.varModel.capabilities used by net.ssehub.easy.reasoning.core.reasoner Class Description IReasonerCapability Defines the basic types for reasoner capability constants. -
Classes in net.ssehub.easy.varModel.capabilities used by net.ssehub.easy.varModel.capabilities Class Description DefaultReasonerAccess.IDefaultReasonerProvider Defines the interface for a reasoner provider.IReasonerCapability Defines the basic types for reasoner capability constants.IvmlReasonerCapabilities Defines some differentiating reasoner capabilities to react in EASy on provided capabilities in an abstract way.