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 class	ReasonerFrontend.DefaultReasonerProvider	Implements 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.IDefaultReasonerProvider	DefaultReasonerAccess.provider

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

Modifier and Type	Method	Description
static void	DefaultReasonerAccess.setProvider(DefaultReasonerAccess.IDefaultReasonerProvider defaultProvider)	Sets the reasoner provider.