Uses of Class
net.ssehub.easy.reasoning.core.reasoner.ReasoningResult

Packages that use ReasoningResult

Package	Description
net.ssehub.easy.producer.core.mgmt	This package contains classes which are needed for data management, i.e.
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.
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.
net.ssehub.easy.reasoning.sseReasoner	Package contains the EASy-Producer reasoner implementation classes.

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

Methods in net.ssehub.easy.producer.core.mgmt that return ReasoningResult

Modifier and Type	Method	Description
ReasoningResult	EasyExecutor.propagateOnIvmlModel()	Executes the reasoning on the IVML configuration built by EasyExecutor.loadIvmlModel(), here in terms of the propagation reasoning mode.

Methods in net.ssehub.easy.producer.core.mgmt with parameters of type ReasoningResult

Modifier and Type	Method	Description
static void	EasyExecutor.printReasoningMessages(ReasoningResult rRes)	Convenience method to print the relevant information from reasoning messages to System.out.
static void	EasyExecutor.printReasoningMessages(ReasoningResult rRes, java.io.PrintStream out)	Convenience method to print the relevant information from reasoning messages.

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

Methods in net.ssehub.easy.producer.ui.core.reasoning with parameters of type ReasoningResult

Modifier and Type	Method	Description
abstract void	AbstractReasonerListener.endReasoning(ReasoningResult result)	This method will be called after the reasoner is finished.
void	AbstractReasonerListener.reasoningFinished(ReasoningResult result)	This method will be called after the reasoner is finished.

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

Methods in net.ssehub.easy.producer.ui.productline_editor.configuration with parameters of type ReasoningResult

Modifier and Type	Method	Description
private void	ConfigurationHeaderMenu.displayWarnings(ReasoningResult result)	Method for preparing a RasonerResult for showing a warnings dialog.
void	ConfigurationHeaderMenu.PropagateListener.endReasoning(ReasoningResult result)
void	ConfigurationHeaderMenu.ReasoningPreFreezeListener.endReasoning(ReasoningResult result)
void	ConfigurationHeaderMenu.ValidateConfigListener.endReasoning(ReasoningResult result)

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

Methods in net.ssehub.easy.producer.ui.productline_editor.project_configuration with parameters of type ReasoningResult

Modifier and Type	Method	Description
void	ProductLineHeaderMenu.ValidationListener.endReasoning(ReasoningResult result)

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

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

Modifier and Type	Field	Description
private ReasoningResult	AbstractChainedReasoner.reasoningResult
private ReasoningResult	ChainedReasonerState.reasoningResult
private ReasoningResult	ReasoningProcess.result

Methods in net.ssehub.easy.reasoning.core.frontend that return ReasoningResult

Modifier and Type	Method	Description
ReasoningResult	AbstractChainedReasoner.check(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
ReasoningResult	IReasonerInstance.check(ProgressObserver observer)	Checks the configuration according to the given project structure and does not affect the configuration.
ReasoningResult	ReasonerAdapter.check(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks the configuration according to the given project structure and does not affect the configuration.
ReasoningResult	ReasonerAdapter.FrontendReasonerAdapter.check(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
ReasoningResult	ReasonerAdapter.InstanceReasonerAdapter.check(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
ReasoningResult	ReasonerAdapter.IReasonerAdapter.check(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks the configuration according to the given project structure and does not affect the configuration.
ReasoningResult	ReasonerFrontend.check(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks the configuration according to the given project structure and does not affect the configuration.
ReasoningResult	ChainedReasonerState.getLastReasoningResult()	Returns the last reasoning result to be passed on and considered.
ReasoningResult	ReasoningProcess.getReasoningResult()	Returns the result of the reasoning, i.e.
ReasoningResult	AbstractChainedReasoner.isConsistent(Project project, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
ReasoningResult	IReasonerInstance.isConsistent(ProgressObserver observer)	Checks whether a given variability model (project) is satisfiable.
ReasoningResult	ReasonerAdapter.FrontendReasonerAdapter.isConsistent(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
ReasoningResult	ReasonerAdapter.InstanceReasonerAdapter.isConsistent(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
ReasoningResult	ReasonerAdapter.IReasonerAdapter.isConsistent(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks whether a given variability model (project) is satisfiable.
ReasoningResult	ReasonerAdapter.isConsistent(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks whether a given variability model (project) is satisfiable.
ReasoningResult	ReasonerFrontend.isConsistent(Project project, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks whether a given variability model (project) is satisfiable.
ReasoningResult	AbstractChainedReasoner.propagate(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
ReasoningResult	IReasonerInstance.propagate(ProgressObserver observer)	Checks the configuration according to the given model and propagates values, if possible.
ReasoningResult	ReasonerAdapter.FrontendReasonerAdapter.propagate(Configuration cfg, ReasonerConfiguration rConfig, ProgressObserver observer)
ReasoningResult	ReasonerAdapter.InstanceReasonerAdapter.propagate(Configuration config, ReasonerConfiguration rConfig, ProgressObserver observer)
ReasoningResult	ReasonerAdapter.IReasonerAdapter.propagate(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks the configuration according to the given model and propagates values, if possible.
ReasoningResult	ReasonerAdapter.propagate(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks the configuration according to the given model and propagates values, if possible.
ReasoningResult	ReasonerFrontend.propagate(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks the configuration according to the given model and propagates values, if possible.
ReasoningResult	AbstractChainedReasoner.upgrade(java.net.URI url, ProgressObserver observer)
ReasoningResult	ReasonerFrontend.upgradeReasoner(ReasonerDescriptor descriptor, java.net.URI uri, ProgressObserver observer)	Updates a reasoner installation, e.g., in order to obtain a licensed reasoner version.

Methods in net.ssehub.easy.reasoning.core.frontend with parameters of type ReasoningResult

Modifier and Type	Method	Description
void	IReasonerListener.reasoningFinished(ReasoningResult result)	This method will be called after the reasoner is finished.
void	AbstractChainedReasoner.setState(Configuration config, ReasoningResult result)

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

Constructor	Description
ChainedReasonerState(Configuration config, ReasoningResult reasoningResult)	Creates a reasoner state.

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

Subclasses of ReasoningResult in net.ssehub.easy.reasoning.core.reasoner

Modifier and Type	Class	Description
class	EvaluationResult	A specific reasoning result for evaluations of presence conditions.
class	ValueCreationResult	Denotes the result of creating a value of an IVML variable through the reasoner considering the relevant constraints.

Fields in net.ssehub.easy.reasoning.core.reasoner declared as ReasoningResult

Modifier and Type	Field	Description
private ReasoningResult	AttributesCheckVisitor.result

Methods in net.ssehub.easy.reasoning.core.reasoner that return ReasoningResult

Modifier and Type	Method	Description
ReasoningResult	DelegatingReasonerInstance.check(ProgressObserver observer)
ReasoningResult	IReasoner.check(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks the configuration according to the given project structure and does not affect the configuration.
ReasoningResult	IReasoner.initialize(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Initializes the configuration according to the given model and propagates values, if possible.
ReasoningResult	DelegatingReasonerInstance.isConsistent(ProgressObserver observer)
ReasoningResult	IReasoner.isConsistent(Project project, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks whether a given variability model (project) is satisfiable.
ReasoningResult	DelegatingReasonerInstance.propagate(ProgressObserver observer)
ReasoningResult	IReasoner.propagate(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks the configuration according to the given model and propagates values, if possible.
ReasoningResult	FileUpgrader.upgrade()
ReasoningResult	IReasoner.upgrade(java.net.URI url, ProgressObserver observer)	Updates the installation of this reasoner, e.g., in order to obtain a licensed reasoner version.
ReasoningResult	IUpgrader.upgrade()	Executes the upgrade.

Methods in net.ssehub.easy.reasoning.core.reasoner with parameters of type ReasoningResult

Modifier and Type	Method	Description
static boolean	AttributesCheckVisitor.check(Configuration configuration, AttributeValues values, ReasoningResult result)	Checks the given configuration with respect to values and adjusts result if required.
static boolean	AttributesCheckVisitor.check(Configuration configuration, ReasonerConfiguration reasonerConfiguration, ReasoningResult result)	Checks the given configuration with respect to values and adjusts result if required.
protected boolean	FileUpgrader.doUpgrade(ReasoningResult result)	Performs the upgrade operations.
protected abstract boolean	IUpgrader.doUpgrade(ReasoningResult result)	Performs the upgrade operations.
protected boolean	ZipUpgrader.doUpgrade(ReasoningResult result)	Performs the upgrade operations.
protected void	IUpgrader.error(ReasoningResult result, java.io.IOException ex)	Adds an I/O error to result.
void	IChainingReasoner.setState(Configuration config, ReasoningResult result)	Sets the state determined by the last reasoner.

Constructors in net.ssehub.easy.reasoning.core.reasoner with parameters of type ReasoningResult

Constructor	Description
AttributesCheckVisitor(ReasoningResult result, AttributeValues values)	Creates a new visitor storing the given instances for processing.

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

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

Modifier and Type	Field	Description
private ReasoningResult	Engine.result

Methods in net.ssehub.easy.reasoning.sseReasoner that return ReasoningResult

Modifier and Type	Method	Description
ReasoningResult	Reasoner.check(Configuration cfg, ReasonerConfiguration reasonerConfig, ProgressObserver observer)
ReasoningResult	Reasoner.ReasonerInstance.check(ProgressObserver observer)
ReasoningResult	Reasoner.initialize(Configuration cfg, ReasonerConfiguration reasonerConfig, ProgressObserver observer)
ReasoningResult	Reasoner.isConsistent(Project project, ReasonerConfiguration reasonerConfig, ProgressObserver observer)
ReasoningResult	Reasoner.ReasonerInstance.isConsistent(ProgressObserver observer)
ReasoningResult	Reasoner.propagate(Configuration cfg, ReasonerConfiguration reasonerConfig, ProgressObserver observer)
ReasoningResult	Reasoner.ReasonerInstance.propagate(ProgressObserver observer)
ReasoningResult	Engine.reason()	Method for launching the reasoner.
ReasoningResult	Reasoner.upgrade(java.net.URI url, ProgressObserver observer)