Uses of Interface
net.ssehub.easy.varModel.capabilities.DefaultReasonerAccess.IDefaultReasonerProvider

Packages that use DefaultReasonerAccess.IDefaultReasonerProvider

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

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.