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

Packages that use ReasoningResult

Package	Description
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 ReasoningResult in net.ssehub.easy.reasoning.core.frontend

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

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

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

Modifier and Type	Method and Description
ReasoningResult	ReasonerAdapter.check(net.ssehub.easy.varModel.confModel.Configuration cfg, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer) Checks the configuration according to the given project structure and does not affect the configuration.
ReasoningResult	ReasonerAdapter.IReasonerAdapter.check(net.ssehub.easy.varModel.confModel.Configuration cfg, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer) Checks the configuration according to the given project structure and does not affect the configuration.
ReasoningResult	ReasonerAdapter.FrontendReasonerAdapter.check(net.ssehub.easy.varModel.confModel.Configuration cfg, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer)
ReasoningResult	ReasonerAdapter.InstanceReasonerAdapter.check(net.ssehub.easy.varModel.confModel.Configuration cfg, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer)
ReasoningResult	AbstractChainedReasoner.check(net.ssehub.easy.varModel.confModel.Configuration cfg, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer)
ReasoningResult	ReasonerFrontend.check(net.ssehub.easy.varModel.confModel.Configuration cfg, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer) Checks the configuration according to the given project structure and does not affect the configuration.
ReasoningResult	IReasonerInstance.check(net.ssehub.easy.basics.progress.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	ReasonerAdapter.isConsistent(net.ssehub.easy.varModel.confModel.Configuration cfg, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer) Checks whether a given variability model (project) is satisfiable.
ReasoningResult	ReasonerAdapter.IReasonerAdapter.isConsistent(net.ssehub.easy.varModel.confModel.Configuration cfg, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer) Checks whether a given variability model (project) is satisfiable.
ReasoningResult	ReasonerAdapter.FrontendReasonerAdapter.isConsistent(net.ssehub.easy.varModel.confModel.Configuration cfg, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer)
ReasoningResult	ReasonerAdapter.InstanceReasonerAdapter.isConsistent(net.ssehub.easy.varModel.confModel.Configuration cfg, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer)
ReasoningResult	IReasonerInstance.isConsistent(net.ssehub.easy.basics.progress.ProgressObserver observer) Checks whether a given variability model (project) is satisfiable.
ReasoningResult	AbstractChainedReasoner.isConsistent(net.ssehub.easy.varModel.model.Project project, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer)
ReasoningResult	ReasonerFrontend.isConsistent(net.ssehub.easy.varModel.model.Project project, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer) Checks whether a given variability model (project) is satisfiable.
ReasoningResult	ReasonerAdapter.propagate(net.ssehub.easy.varModel.confModel.Configuration cfg, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer) Checks the configuration according to the given model and propagates values, if possible.
ReasoningResult	ReasonerAdapter.IReasonerAdapter.propagate(net.ssehub.easy.varModel.confModel.Configuration cfg, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer) Checks the configuration according to the given model and propagates values, if possible.
ReasoningResult	ReasonerAdapter.FrontendReasonerAdapter.propagate(net.ssehub.easy.varModel.confModel.Configuration cfg, ReasonerConfiguration rConfig, net.ssehub.easy.basics.progress.ProgressObserver observer)
ReasoningResult	ReasonerAdapter.InstanceReasonerAdapter.propagate(net.ssehub.easy.varModel.confModel.Configuration config, ReasonerConfiguration rConfig, net.ssehub.easy.basics.progress.ProgressObserver observer)
ReasoningResult	AbstractChainedReasoner.propagate(net.ssehub.easy.varModel.confModel.Configuration cfg, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer)
ReasoningResult	ReasonerFrontend.propagate(net.ssehub.easy.varModel.confModel.Configuration cfg, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer) Checks the configuration according to the given model and propagates values, if possible.
ReasoningResult	IReasonerInstance.propagate(net.ssehub.easy.basics.progress.ProgressObserver observer) Checks the configuration according to the given model and propagates values, if possible.
ReasoningResult	AbstractChainedReasoner.upgrade(java.net.URI url, net.ssehub.easy.basics.progress.ProgressObserver observer)
ReasoningResult	ReasonerFrontend.upgradeReasoner(ReasonerDescriptor descriptor, java.net.URI uri, net.ssehub.easy.basics.progress.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 and Description
void	IReasonerListener.reasoningFinished(ReasoningResult result) This method will be called after the reasoner is finished.
void	AbstractChainedReasoner.setState(net.ssehub.easy.varModel.confModel.Configuration config, ReasoningResult result)

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

Constructor and Description
ChainedReasonerState(net.ssehub.easy.varModel.confModel.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 and 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 and Description
private ReasoningResult	AttributesCheckVisitor.result

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

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

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

Modifier and Type	Method and Description
static boolean	AttributesCheckVisitor.check(net.ssehub.easy.varModel.confModel.Configuration configuration, AttributeValues values, ReasoningResult result) Checks the given configuration with respect to values and adjusts result if required.
static boolean	AttributesCheckVisitor.check(net.ssehub.easy.varModel.confModel.Configuration configuration, ReasonerConfiguration reasonerConfiguration, ReasoningResult result) Checks the given configuration with respect to values and adjusts result if required.
protected boolean	ZipUpgrader.doUpgrade(ReasoningResult result) Performs the upgrade operations.
protected abstract boolean	IUpgrader.doUpgrade(ReasoningResult result) Performs the upgrade operations.
protected boolean	FileUpgrader.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(net.ssehub.easy.varModel.confModel.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 and Description
AttributesCheckVisitor(ReasoningResult result, AttributeValues values) Creates a new visitor storing the given instances for processing.