net.ssehub.easy.reasoning.core.frontend

Class ReasonerAdapter.FrontendReasonerAdapter

java.lang.Object

net.ssehub.easy.reasoning.core.frontend.ReasonerAdapter.FrontendReasonerAdapter

All Implemented Interfaces:

ReasonerAdapter.IReasonerAdapter

Enclosing class:

ReasonerAdapter

private class ReasonerAdapter.FrontendReasonerAdapter
extends java.lang.Object
implements ReasonerAdapter.IReasonerAdapter

Implements a full/fallback reasoner adapter.

Author:

Holger Eichelberger

Constructor Summary

Constructors

Modifier	Constructor and Description
private	FrontendReasonerAdapter()

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 rConfig, net.ssehub.easy.basics.progress.ProgressObserver observer) Checks the configuration according to the given model and propagates values, if possible.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FrontendReasonerAdapter

private FrontendReasonerAdapter()

Method Detail

propagate

public ReasoningResult propagate(net.ssehub.easy.varModel.confModel.Configuration cfg,
                                 ReasonerConfiguration rConfig,
                                 net.ssehub.easy.basics.progress.ProgressObserver observer)

Description copied from interface: ReasonerAdapter.IReasonerAdapter

Checks the configuration according to the given model and propagates values, if possible.

Specified by:

propagate in interface ReasonerAdapter.IReasonerAdapter

Parameters:

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

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

isConsistent

public ReasoningResult isConsistent(net.ssehub.easy.varModel.confModel.Configuration cfg,
                                    ReasonerConfiguration reasonerConfiguration,
                                    net.ssehub.easy.basics.progress.ProgressObserver observer)

Description copied from interface: ReasonerAdapter.IReasonerAdapter

Checks whether a given variability model (project) is satisfiable.

Specified by:

isConsistent in interface ReasonerAdapter.IReasonerAdapter

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.

check

public ReasoningResult check(net.ssehub.easy.varModel.confModel.Configuration cfg,
                             ReasonerConfiguration reasonerConfiguration,
                             net.ssehub.easy.basics.progress.ProgressObserver observer)

Description copied from interface: ReasonerAdapter.IReasonerAdapter

Checks the configuration according to the given project structure and does not affect the configuration.

Specified by:

check in interface ReasonerAdapter.IReasonerAdapter

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.

evaluate

public 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)

Description copied from interface: ReasonerAdapter.IReasonerAdapter

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.

Specified by:

evaluate in interface ReasonerAdapter.IReasonerAdapter

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

public 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)

Description copied from interface: ReasonerAdapter.IReasonerAdapter

Creates the value for a certain IVML type/variable.

Specified by:

createValue in interface ReasonerAdapter.IReasonerAdapter

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