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

Packages that use ReasonerConfiguration

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.impl	Hidden implementation stuff.
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 ReasonerConfiguration in net.ssehub.easy.reasoning.core.frontend

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

Modifier and Type	Field and Description
private ReasonerConfiguration	ReasoningProcess.reasonerConfig

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

Modifier and Type	Method and Description
ReasonerConfiguration	IReasonerInstance.getReasonerConfiguration() Returns the reasoner configuration this project is running with.

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

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.
IReasonerInstance	AbstractChainedReasoner.createInstance(net.ssehub.easy.varModel.confModel.Configuration cfg, ReasonerConfiguration reasonerConfiguration)
IReasonerInstance	ReasonerFrontend.createInstance(net.ssehub.easy.varModel.confModel.Configuration cfg, ReasonerConfiguration reasonerConfiguration) Creates a reasoner instance for repeated reasoning on the same model (no structural changes allowed during two subsequent reasoning runs).
ValueCreationResult	ReasonerAdapter.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.
ValueCreationResult	ReasonerAdapter.IReasonerAdapter.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.
ValueCreationResult	ReasonerAdapter.FrontendReasonerAdapter.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)
ValueCreationResult	ReasonerAdapter.InstanceReasonerAdapter.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)
ValueCreationResult	ReasonerFrontend.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	ReasonerAdapter.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.
EvaluationResult	ReasonerAdapter.IReasonerAdapter.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.
EvaluationResult	ReasonerAdapter.FrontendReasonerAdapter.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)
EvaluationResult	ReasonerAdapter.InstanceReasonerAdapter.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)
EvaluationResult	AbstractChainedReasoner.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)
EvaluationResult	ReasonerFrontend.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.
private IReasoner	ReasonerFrontend.getActualReasoner(net.ssehub.easy.varModel.confModel.Configuration configuration, java.util.List<net.ssehub.easy.varModel.model.Constraint> constraints, ReasonerConfiguration reasonerConfiguration) Returns the actual and matching reasoner.
private ReasonerAdapter.IReasonerAdapter	ReasonerAdapter.getAdapter(net.ssehub.easy.varModel.confModel.Configuration cfg, ReasonerConfiguration reasonerConfiguration) Returns the adapter for the given configuration.
boolean	ReasonerFrontend.hasReasonerCapability(net.ssehub.easy.varModel.capabilities.IReasonerCapability capability, ReasonerConfiguration reasonerConfiguration) Return whether the current reasoner hint has a specific capability.
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	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.

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

Constructor and Description
ReasoningProcess(net.ssehub.easy.varModel.model.Project project, ReasonerConfiguration reasonerConfig, IReasonerListener listener, net.ssehub.easy.basics.progress.ProgressObserver observer) Constructor for checking the consistency (satisfiability) of a project, without having a configuration.
ReasoningProcess(ReasoningOperation desiredOperation, net.ssehub.easy.varModel.confModel.Configuration config, ReasonerConfiguration reasonerConfig, IReasonerListener listener, net.ssehub.easy.basics.progress.ProgressObserver observer) Sole constructor for this class.

Uses of ReasonerConfiguration in net.ssehub.easy.reasoning.core.impl

Methods in net.ssehub.easy.reasoning.core.impl with parameters of type ReasonerConfiguration

Modifier and Type	Method and Description
static ValueCreationResult	ReasonerHelper.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.

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

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

Modifier and Type	Field and Description
private ReasonerConfiguration	DelegatingReasonerInstance.rConfig

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

Modifier and Type	Method and Description
ReasonerConfiguration	ReasonerConfiguration.disableCustomMessages() Disable custom messages.
ReasonerConfiguration	ReasonerConfiguration.enableCustomMessages() Enables custom messages.
ReasonerConfiguration	DelegatingReasonerInstance.getReasonerConfiguration()
ReasonerConfiguration	ReasonerConfiguration.setAdditionalInformationLogger(ReasonerConfiguration.IAdditionalInformationLogger logger) Defines the additional information logger.
ReasonerConfiguration	ReasonerConfiguration.setAttributeValues(AttributeValues attributeValues) Changes attribute values for reasoning.
ReasonerConfiguration	ReasonerConfiguration.setDefaultReasoner(ReasonerDescriptor defaultReasoner) Changes the default reasoner.
ReasonerConfiguration	ReasonerConfiguration.setIncrementalMode(boolean incremental) Defines whether runtime incremental reasoning shall be performend.
ReasonerConfiguration	ReasonerConfiguration.setRuntimeMode(boolean runtime) Defines whether runtime reasoning reasoning shall be activated.
ReasonerConfiguration	ReasonerConfiguration.setTimeout(int timeout) Changes the timeout for reasoning.

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

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.
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.
IReasonerInstance	IReasoner.createInstance(net.ssehub.easy.varModel.confModel.Configuration cfg, ReasonerConfiguration reasonerConfiguration) Creates a reasoner instance for repeated reasoning on the same model (no structural changes allowed during two subsequent reasoning runs).
ValueCreationResult	IReasoner.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	IReasoner.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.
static AttributeValues	ReasonerConfiguration.getAttributeValues(ReasonerConfiguration config) Null-safe access to the attribute values.
int	ReasonerConfiguration.getTimeout(ReasonerConfiguration configuration) Returns the specific timeout for reasoning.
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	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.
void	ReasoningResult.logInformation(net.ssehub.easy.varModel.model.Project prj, ReasonerConfiguration rConfig) Logs reasoning summary based on prj, the measures and the messages.
void	ReasoningResult.logInformation(net.ssehub.easy.varModel.model.Project prj, ReasonerConfiguration rConfig, boolean withMessages) Logs reasoning summary based on prj, the measures and the messages.
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.

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

Constructor and Description
DelegatingReasonerInstance(net.ssehub.easy.varModel.confModel.Configuration config, ReasonerConfiguration rConfig, IReasoner delegate) Creates a delegating reasoner instance.