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

Packages that use ReasonerConfiguration

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

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

Fields in net.ssehub.easy.producer.core.mgmt declared as ReasonerConfiguration

Modifier and Type	Field	Description
private ReasonerConfiguration	EasyExecutor.rCfg
private ReasonerConfiguration	PLPInfo.reasonerConfig

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

Modifier and Type	Method	Description
ReasonerConfiguration	PLPInfo.getReasonerConfig()	Getter for the reasoner settings.

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

Modifier and Type	Method	Description
void	PLPInfo.setReasonerConfig(ReasonerConfiguration reasonerConfig)	Setter for the reasoner configuration settings.
EasyExecutor	EasyExecutor.setReasonerConfiguration(ReasonerConfiguration rCfg)	Sets the reasoner configuration instance.

Uses of ReasonerConfiguration in net.ssehub.easy.producer.core.persistence.standard

Methods in net.ssehub.easy.producer.core.persistence.standard with parameters of type ReasonerConfiguration

Modifier and Type	Method	Description
private void	PLP2ProjectConverter.reasoner2Model(Model reasonerModel, ReasonerConfiguration reasonerConfig)	Converts a ReasonerConfiguration to a persistent model.

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

Fields in net.ssehub.easy.producer.ui.productline_editor.project_configuration declared as ReasonerConfiguration

Modifier and Type	Field	Description
private ReasonerConfiguration	ReasonerSettings.cfg

Constructors in net.ssehub.easy.producer.ui.productline_editor.project_configuration with parameters of type ReasonerConfiguration

Constructor	Description
ReasonerSettings(org.eclipse.swt.widgets.Composite parent, ReasonerConfiguration cfg, AbstractEASyEditorPage parentPage)	Sole constructor for this class.

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	Description
private ReasonerConfiguration	ReasoningProcess.reasonerConfig

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

Modifier and Type	Method	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	Description
ReasoningResult	AbstractChainedReasoner.check(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
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.
IReasonerInstance	AbstractChainedReasoner.createInstance(Configuration cfg, ReasonerConfiguration reasonerConfiguration)
IReasonerInstance	ReasonerFrontend.createInstance(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(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Creates the value for a certain IVML type/variable.
ValueCreationResult	ReasonerAdapter.FrontendReasonerAdapter.createValue(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
ValueCreationResult	ReasonerAdapter.InstanceReasonerAdapter.createValue(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
ValueCreationResult	ReasonerAdapter.IReasonerAdapter.createValue(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Creates the value for a certain IVML type/variable.
ValueCreationResult	ReasonerFrontend.createValue(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Creates the value for a certain IVML type/variable.
EvaluationResult	AbstractChainedReasoner.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
EvaluationResult	ReasonerAdapter.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, 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(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
EvaluationResult	ReasonerAdapter.InstanceReasonerAdapter.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
EvaluationResult	ReasonerAdapter.IReasonerAdapter.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, 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	ReasonerFrontend.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, 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(Configuration configuration, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration)	Returns the actual and matching reasoner.
private ReasonerAdapter.IReasonerAdapter	ReasonerAdapter.getAdapter(Configuration cfg, ReasonerConfiguration reasonerConfiguration)	Returns the adapter for the given configuration.
boolean	ReasonerFrontend.hasReasonerCapability(IReasonerCapability capability, ReasonerConfiguration reasonerConfiguration)	Return whether the current reasoner hint has a specific capability.
ReasoningResult	AbstractChainedReasoner.isConsistent(Project project, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
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	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.

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

Constructor	Description
ReasoningProcess(ReasoningOperation desiredOperation, Configuration config, ReasonerConfiguration reasonerConfig, IReasonerListener listener, ProgressObserver observer)	Sole constructor for this class.
ReasoningProcess(Project project, ReasonerConfiguration reasonerConfig, IReasonerListener listener, ProgressObserver observer)	Constructor for checking the consistency (satisfiability) of a project, without having a configuration.

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	Description
static ValueCreationResult	ReasonerHelper.createValue(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, 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	Description
private ReasonerConfiguration	DelegatingReasonerInstance.rConfig

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

Modifier and Type	Method	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	Description
static boolean	AttributesCheckVisitor.check(Configuration configuration, ReasonerConfiguration reasonerConfiguration, ReasoningResult result)	Checks the given configuration with respect to values and adjusts result if required.
ReasoningResult	IReasoner.check(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks the configuration according to the given project structure and does not affect the configuration.
IReasonerInstance	IReasoner.createInstance(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(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Creates the value for a certain IVML type/variable.
EvaluationResult	IReasoner.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfiguration, 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(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Initializes the configuration according to the given model and propagates values, if possible.
ReasoningResult	IReasoner.isConsistent(Project project, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks whether a given variability model (project) is satisfiable.
void	ReasoningResult.logInformation(Project prj, ReasonerConfiguration rConfig)	Logs reasoning summary based on prj, the measures and the messages.
void	ReasoningResult.logInformation(Project prj, ReasonerConfiguration rConfig, boolean withMessages)	Logs reasoning summary based on prj, the measures and the messages.
ReasoningResult	IReasoner.propagate(Configuration cfg, ReasonerConfiguration reasonerConfiguration, 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	Description
DelegatingReasonerInstance(Configuration config, ReasonerConfiguration rConfig, IReasoner delegate)	Creates a delegating reasoner instance.

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

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

Modifier and Type	Field	Description
private ReasonerConfiguration	Resolver.reasonerConfig
private ReasonerConfiguration	Reasoner.ReasonerInstance.reasonerConfiguration

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

Modifier and Type	Method	Description
ReasonerConfiguration	Reasoner.ReasonerInstance.getReasonerConfiguration()

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

Modifier and Type	Method	Description
ReasoningResult	Reasoner.check(Configuration cfg, ReasonerConfiguration reasonerConfig, ProgressObserver observer)
private Configuration	Reasoner.createConfiguration(Project project, Configuration cfg, ReasonerConfiguration rConfig, boolean freshConfig)	Method for creating a clean Configuration if required.
IReasonerInstance	Reasoner.createInstance(Configuration cfg, ReasonerConfiguration reasonerConfiguration)
ValueCreationResult	Reasoner.createValue(Configuration cfg, AbstractVariable var, IDatatype type, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)
EvaluationResult	Reasoner.evaluate(Configuration cfg, java.util.List<Constraint> constraints, ReasonerConfiguration reasonerConfig, ProgressObserver observer)
ReasoningResult	Reasoner.initialize(Configuration cfg, ReasonerConfiguration reasonerConfig, ProgressObserver observer)
ReasoningResult	Reasoner.isConsistent(Project project, ReasonerConfiguration reasonerConfig, ProgressObserver observer)
ReasoningResult	Reasoner.propagate(Configuration cfg, ReasonerConfiguration reasonerConfig, ProgressObserver observer)

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

Constructor	Description
Engine(Configuration cfg, ReasonerConfiguration reasonerConfig, ProgressObserver observer, IReasonerInterceptor interceptor)	Main constructor for creating an instance of the reasoner.
ReasonerInstance(Configuration cfg, ReasonerConfiguration reasonerConfiguration, IReasonerInterceptor interceptor)	Creates a reusable reasoner instance.
Resolver(Configuration config, ReasonerConfiguration reasonerConfig)	Main constructor that activates Resolver constructor.