Uses of Interface
net.ssehub.easy.reasoning.core.frontend.IReasonerListener

Packages that use IReasonerListener

Package	Description
net.ssehub.easy.reasoning.core.frontend	Frontend to access reasoner information as well as to execute reasoning tasks.

Uses of IReasonerListener in net.ssehub.easy.reasoning.core.frontend

Fields in net.ssehub.easy.reasoning.core.frontend declared as IReasonerListener

Modifier and Type	Field and Description
private IReasonerListener	ReasoningProcess.listener

Constructors in net.ssehub.easy.reasoning.core.frontend with parameters of type IReasonerListener

Constructor and Description
ReasoningProcess(net.ssehub.easy.varModel.model.Project project, ReasonerConfiguration reasonerConfig, IReasonerListener listener, net.ssehub.easy.basics.progress.ProgressObserver observer) Constructor for checking the consistency (satisfiability) of a project, without having a configuration.
ReasoningProcess(ReasoningOperation desiredOperation, net.ssehub.easy.varModel.confModel.Configuration config, ReasonerConfiguration reasonerConfig, IReasonerListener listener, net.ssehub.easy.basics.progress.ProgressObserver observer) Sole constructor for this class.