Uses of Interface net.ssehub.easy.reasoning.core.frontend.IReasonerListener (EASy-Producer Documentation API)

Packages that use IReasonerListener
Package	Description
net.ssehub.easy.producer.core.mgmt	This package contains classes which are needed for data management, i.e.
net.ssehub.easy.producer.eclipse.model	This package holds the complete data model for this plugin. In this package are abstract super classes and exceptions, in subpackage you'll find the concrete implementations for a specific model.
net.ssehub.easy.producer.ui.core.reasoning	Classes which should simplify handling the reasoning inside the GUI.
net.ssehub.easy.producer.ui.productline_editor.configuration	This package holds classes for the configuration editor and super classes for similar configuration editors.
net.ssehub.easy.producer.ui.productline_editor.project_configuration	This package contains classes for configuring the current project.
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.producer.core.mgmt

Methods in net.ssehub.easy.producer.core.mgmt with parameters of type IReasonerListener
Modifier and Type	Method	Description
`protected ReasoningProcess`	PLPInfo.`createReasoningProcess(ReasoningOperation desiredOperation, IReasonerListener listener)`	Creates a reasoning process.
`void`	PLPInfo.`reason(ReasoningOperation desiredOperation, IReasonerListener listener)`	Starts the reasoning.

Uses of IReasonerListener in net.ssehub.easy.producer.eclipse.model

Methods in net.ssehub.easy.producer.eclipse.model with parameters of type IReasonerListener
Modifier and Type	Method	Description
`void`	ProductLineProject.`reason(ReasoningOperation desiredOperation, IReasonerListener listener)`

Uses of IReasonerListener in net.ssehub.easy.producer.ui.core.reasoning

Classes in net.ssehub.easy.producer.ui.core.reasoning that implement IReasonerListener
Modifier and Type	Class	Description
`class`	`AbstractReasonerListener`	`IReasonerListener` which shall update the GUI.

Uses of IReasonerListener in net.ssehub.easy.producer.ui.productline_editor.configuration

Classes in net.ssehub.easy.producer.ui.productline_editor.configuration that implement IReasonerListener
Modifier and Type	Class	Description
`private class`	`ConfigurationHeaderMenu.PropagateListener`	`IReasonerListener` for propagating values.
`private class`	`ConfigurationHeaderMenu.ReasoningPreFreezeListener`	`IReasonerListener`, for a reasoning which is executed automatically before freezing the configuration.
`private class`	`ConfigurationHeaderMenu.ValidateConfigListener`	`IReasonerListener` for validating the configuration.

Methods in net.ssehub.easy.producer.ui.productline_editor.configuration with parameters of type IReasonerListener
Modifier and Type	Method	Description
`private void`	ConfigurationHeaderMenu.`createReasoningProgressObserver(ReasoningOperation operation, IReasonerListener listener)`	Creates a reasoning progress observer based on `AbstractHeaderMenu.getProductLineProject()`.

Uses of IReasonerListener in net.ssehub.easy.producer.ui.productline_editor.project_configuration

Classes in net.ssehub.easy.producer.ui.productline_editor.project_configuration that implement IReasonerListener
Modifier and Type	Class	Description
`private class`	`ProductLineHeaderMenu.ValidationListener`	`IReasonerListener` for validating the variability model (perform satisfiability check).

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	Description
`private IReasonerListener`	ReasoningProcess.`listener`

Constructors in net.ssehub.easy.reasoning.core.frontend with parameters of type IReasonerListener
Constructor	Description
`ReasoningProcess(ReasoningOperation desiredOperation, Configuration config, ReasonerConfiguration reasonerConfig, IReasonerListener listener, ProgressObserver observer)`	Sole constructor for this class.
`ReasoningProcess(Project project, ReasonerConfiguration reasonerConfig, IReasonerListener listener, ProgressObserver observer)`	Constructor for checking the consistency (satisfiability) of a project, without having a configuration.