Package net.ssehub.easy.varModel.capabilities
Forward reasoner access.
-
Interface Summary Interface Description DefaultReasonerAccess.IDefaultReasonerProvider Defines the interface for a reasoner provider.IReasonerCapability Defines the basic types for reasoner capability constants. -
Class Summary Class Description DefaultReasonerAccess Provides descriptive access to the default reasoner. -
Enum Summary Enum Description IvmlReasonerCapabilities Defines some differentiating reasoner capabilities to react in EASy on provided capabilities in an abstract way.