Uses of Class net.ssehub.easy.reasoning.core.reasoner.ReasoningOperation (EASy-Producer Documentation API)

Packages that use ReasoningOperation
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.productline_editor.configuration	This package holds classes for the configuration editor and super classes for similar configuration editors.
net.ssehub.easy.reasoning.core.frontend	Frontend to access reasoner information as well as to execute reasoning tasks.
net.ssehub.easy.reasoning.core.reasoner	All classes and interfaces needed to implement a reasoner. How to write a reasoner: Create an Eclipse Plugin project with Activator (even if "empty"). Add `org.eclipse.equinox.ds` to the required plugins and `org.osgi.service.component` to the imported packages as your reasoner will be linked using OSGi descriptive services (DS) to the reasoner core.

Uses of ReasoningOperation in net.ssehub.easy.producer.core.mgmt

Methods in net.ssehub.easy.producer.core.mgmt with parameters of type ReasoningOperation
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 ReasoningOperation in net.ssehub.easy.producer.eclipse.model

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

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

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

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

Fields in net.ssehub.easy.reasoning.core.frontend declared as ReasoningOperation
Modifier and Type	Field	Description
`private ReasoningOperation`	ReasoningProcess.`desiredOperation`

Constructors in net.ssehub.easy.reasoning.core.frontend with parameters of type ReasoningOperation
Constructor	Description
`ReasoningProcess(ReasoningOperation desiredOperation, Configuration config, ReasonerConfiguration reasonerConfig, IReasonerListener listener, ProgressObserver observer)`	Sole constructor for this class.

Uses of ReasoningOperation in net.ssehub.easy.reasoning.core.reasoner

Methods in net.ssehub.easy.reasoning.core.reasoner that return ReasoningOperation
Modifier and Type	Method	Description
`static ReasoningOperation`	ReasoningOperation.`valueOf(java.lang.String name)`	Returns the enum constant of this type with the specified name.
`static ReasoningOperation[]`	ReasoningOperation.`values()`	Returns an array containing the constants of this enum type, in the order they are declared.