net.ssehub.easy.reasoning.core.frontend

Interface ReasonerAdapter.IReasonerAdapter

All Known Implementing Classes:

ReasonerAdapter.FrontendReasonerAdapter, ReasonerAdapter.InstanceReasonerAdapter

Enclosing class:

ReasonerAdapter

private static interface ReasonerAdapter.IReasonerAdapter

Defines the interface of an abstracting reasoner adapter.

Author:

Holger Eichelberger

Method Summary

Modifier and Type	Method and Description
ReasoningResult	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.
ValueCreationResult	createValue(net.ssehub.easy.varModel.confModel.Configuration cfg, net.ssehub.easy.varModel.model.AbstractVariable var, net.ssehub.easy.varModel.model.datatypes.IDatatype type, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer) Creates the value for a certain IVML type/variable.
EvaluationResult	evaluate(net.ssehub.easy.varModel.confModel.Configuration cfg, java.util.List<net.ssehub.easy.varModel.model.Constraint> constraints, ReasonerConfiguration reasonerConfiguration, net.ssehub.easy.basics.progress.ProgressObserver observer) Evaluates a given list of constraints (in the sense of boolean conditions) which are related to and valid in the context of the given project and configuration.
ReasoningResult	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	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.

Method Detail

isConsistent

ReasoningResult 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.

Parameters:

cfg - The configuration to reason on.

observer - an optional progress observer, shall be ProgressObserver.NO_OBSERVER if unused

reasonerConfiguration - the reasoner configuration to be used for reasoning (e.g. taken from the UI, may be null)

Returns:

The result of this reasoning step. Can have the status Status.UNSUPPORTED if the concrete reasoner does not support this operation.

check

ReasoningResult 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.

Parameters:

cfg - The configuration to reason on.

reasonerConfiguration - the reasoner configuration to be used for reasoning (e.g. taken from the UI, may be null)

observer - an optional progress observer, shall be ProgressObserver.NO_OBSERVER if unused

Returns:

The result of this reasoning step. Can have the status Status.UNSUPPORTED if the concrete reasoner does not support this operation.

propagate

ReasoningResult 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.

Parameters:

cfg - The configuration to reason on (may be modified as a side effect of value propagation)

reasonerConfiguration - the reasoner configuration to be used for reasoning (e.g. taken from the UI, may be null)

observer - an optional progress observer, shall be ProgressObserver.NO_OBSERVER if unused

Returns:

The result of this reasoning step. Can have the status Status.UNSUPPORTED if the concrete reasoner does not support this operation.

evaluate

EvaluationResult evaluate(net.ssehub.easy.varModel.confModel.Configuration cfg,
                          java.util.List<net.ssehub.easy.varModel.model.Constraint> constraints,
                          ReasonerConfiguration reasonerConfiguration,
                          net.ssehub.easy.basics.progress.ProgressObserver observer)

Evaluates a given list of constraints (in the sense of boolean conditions) which are related to and valid in the context of the given project and configuration.

Parameters:

cfg - The configuration to reason on.

constraints - the constraints (expressions which evaluate to a boolean value)

reasonerConfiguration - the reasoner configuration to be used for reasoning (e.g. taken from the UI, may be null)

observer - an optional progress observer, shall be ProgressObserver.NO_OBSERVER if unused

Returns:

The result of this reasoning step. Can have the status Status.UNSUPPORTED if the concrete reasoner does not support this operation.

createValue

ValueCreationResult createValue(net.ssehub.easy.varModel.confModel.Configuration cfg,
                                net.ssehub.easy.varModel.model.AbstractVariable var,
                                net.ssehub.easy.varModel.model.datatypes.IDatatype type,
                                ReasonerConfiguration reasonerConfiguration,
                                net.ssehub.easy.basics.progress.ProgressObserver observer)

Creates the value for a certain IVML type/variable.

Parameters:

cfg - the configuration to operate on (will not be modified)

var - the variable to create the value for (may be null if type is given, may imply additional constraints)

type - the type to create the value for (may be null if var is given)

reasonerConfiguration - the reasoner configuration to be used for reasoning (e.g. taken from the UI, may be null)

observer - an optional progress observer, shall be ProgressObserver.NO_OBSERVER if unused

Returns:

the value creation result