Uses of Class
net.ssehub.easy.reasoning.sseReasoner.Resolver

Packages that use Resolver

Package	Description
net.ssehub.easy.reasoning.sseReasoner	Package contains the EASy-Producer reasoner implementation classes.

Uses of Resolver in net.ssehub.easy.reasoning.sseReasoner

Fields in net.ssehub.easy.reasoning.sseReasoner declared as Resolver

Modifier and Type	Field and Description
private Resolver	Engine.resolver
private Resolver	RescheduleValueChangeVisitor.resolver
private Resolver	CheckInitializerVisitor.resolver

Constructors in net.ssehub.easy.reasoning.sseReasoner with parameters of type Resolver

Constructor and Description
CheckInitializerVisitor(Resolver resolver) Creates the visitor.
RescheduleValueChangeVisitor(Resolver resolver) Creates a rescheduling value change visitor for a certain resolver instance.