Uses of Interface
net.ssehub.easy.varModel.capabilities.DefaultReasonerAccess.IDefaultReasonerProvider
-
Packages that use DefaultReasonerAccess.IDefaultReasonerProvider Package Description net.ssehub.easy.reasoning.core.frontend Frontend to access reasoner information as well as to execute reasoning tasks.net.ssehub.easy.varModel.capabilities Forward reasoner access. -
-
Uses of DefaultReasonerAccess.IDefaultReasonerProvider in net.ssehub.easy.reasoning.core.frontend
Classes in net.ssehub.easy.reasoning.core.frontend that implement DefaultReasonerAccess.IDefaultReasonerProvider Modifier and Type Class Description private classReasonerFrontend.DefaultReasonerProviderImplements the default reasoner provider. -
Uses of DefaultReasonerAccess.IDefaultReasonerProvider in net.ssehub.easy.varModel.capabilities
Fields in net.ssehub.easy.varModel.capabilities declared as DefaultReasonerAccess.IDefaultReasonerProvider Modifier and Type Field Description private static DefaultReasonerAccess.IDefaultReasonerProviderDefaultReasonerAccess. providerMethods in net.ssehub.easy.varModel.capabilities with parameters of type DefaultReasonerAccess.IDefaultReasonerProvider Modifier and Type Method Description static voidDefaultReasonerAccess. setProvider(DefaultReasonerAccess.IDefaultReasonerProvider defaultProvider)Sets the reasoner provider.
-