Uses of Class
net.ssehub.easy.varModel.confModel.Configuration

Packages that use Configuration

Package	Description
de.uni_hildesheim.sse.ui
de.uni_hildesheim.sse.ui.embed
de.uni_hildesheim.sse.vil.templatelang.ui.embed
net.ssehub.easy.dslCore.ui	Top-level package for reusable UI implementation of xText editors.
net.ssehub.easy.dslCore.ui.editors	Reusable xText functionality.
net.ssehub.easy.instantiation.core.model	This package holds classes related to the instantiator model for the EASy-Producer.
net.ssehub.easy.instantiation.core.model.execution	High level execution support.
net.ssehub.easy.instantiation.core.model.vilTypes.configuration	All classes related to the EASy integration of configuration and decisions.
net.ssehub.easy.integration.common.impl	Defines the a readable interface to IVML/EAsY.
net.ssehub.easy.producer.core.mgmt	This package contains classes which are needed for data management, i.e.
net.ssehub.easy.producer.core.varMod.container	IModel container for simplifying the usage of the different IModels in EASy-Producer projects.
net.ssehub.easy.producer.ui.confModel	This package holds a GUI representation of the configuration with methods and additional information as needed by the Eclipse UI.
net.ssehub.easy.producer.ui.productline_editor	This package contains the editor for configuring the product line.
net.ssehub.easy.producer.ui.productline_editor.configuration	This package holds classes for the configuration editor and super classes for similar configuration editors.
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.performance	Basic performance measuring for the reasoner.
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.
net.ssehub.easy.reasoning.sseReasoner.model	Package for creating a reasoning model: constraint container, project hierachy evaluator and other.
net.ssehub.easy.varModel.capabilities	Forward reasoner access.
net.ssehub.easy.varModel.confModel	This package represents a specific variability model configuration.
net.ssehub.easy.varModel.cstEvaluation	Implements the evaluation of constraint syntax trees.
net.ssehub.easy.varModel.model.filter	This package contains utility classes for filtering the model for specific model elements.
net.ssehub.easy.varModel.model.filter.mandatoryVars	Filter for finding mandatory declarations.
net.ssehub.easy.varModel.model.rewrite	Classes for creating an (adapted) copy of the Project.
net.ssehub.easy.varModel.model.rewrite.modifier	Modifier for the ProjectRewriteVisitor.

Uses of Configuration in de.uni_hildesheim.sse.ui

Methods in de.uni_hildesheim.sse.ui with parameters of type Configuration

Modifier and Type	Method	Description
ModelEditorConfigurer.IHeader	Activator.createHeader(org.eclipse.swt.widgets.Composite parent, Configuration config, java.io.File base, ModelInfo<?> info)

Uses of Configuration in de.uni_hildesheim.sse.ui.embed

Methods in de.uni_hildesheim.sse.ui.embed with parameters of type Configuration

Modifier and Type	Method	Description
ModelEditorConfigurer.IHeader	EditorUtils.createHeader(org.eclipse.swt.widgets.Composite parent, Configuration config, java.io.File base, ModelInfo<?> info)

Uses of Configuration in de.uni_hildesheim.sse.vil.templatelang.ui.embed

Methods in de.uni_hildesheim.sse.vil.templatelang.ui.embed with parameters of type Configuration

Modifier and Type	Method	Description
ModelEditorConfigurer.IHeader	EditorUtils.createHeader(org.eclipse.swt.widgets.Composite parent, Configuration config, java.io.File base, ModelInfo<?> info)

Uses of Configuration in net.ssehub.easy.dslCore.ui

Methods in net.ssehub.easy.dslCore.ui with parameters of type Configuration

Modifier and Type	Method	Description
static org.eclipse.jface.viewers.TreeViewer	ConfigurationEditorFactory.createEditor(Configuration config, org.eclipse.swt.widgets.Composite parent)	Creates a configuration editor.
org.eclipse.jface.viewers.TreeViewer	ConfigurationEditorFactory.IConfigurationEditorCreator.createEditor(Configuration config, org.eclipse.swt.widgets.Composite parent)	Creates a configuration editor.

Uses of Configuration in net.ssehub.easy.dslCore.ui.editors

Methods in net.ssehub.easy.dslCore.ui.editors with parameters of type Configuration

Modifier and Type	Method	Description
ModelEditorConfigurer.IHeader	ModelEditorConfigurer.IModelEditorConfigurer.createHeader(org.eclipse.swt.widgets.Composite parent, Configuration configuration, java.io.File base, ModelInfo<?> info)	Creates the actual header.

Uses of Configuration in net.ssehub.easy.instantiation.core.model

Methods in net.ssehub.easy.instantiation.core.model that return Configuration

Modifier and Type	Method	Description
Configuration	IInstantiatorProject.getConfiguration()	Returns the configuration for the variability model.

Uses of Configuration in net.ssehub.easy.instantiation.core.model.execution

Methods in net.ssehub.easy.instantiation.core.model.execution with parameters of type Configuration

Modifier and Type	Method	Description
Executor	Executor.addConfiguration(Configuration config)	Adds the configuration as argument.

Uses of Configuration in net.ssehub.easy.instantiation.core.model.vilTypes.configuration

Fields in net.ssehub.easy.instantiation.core.model.vilTypes.configuration declared as Configuration

Modifier and Type	Field	Description
private Configuration	Configuration.configuration

Methods in net.ssehub.easy.instantiation.core.model.vilTypes.configuration that return Configuration

Modifier and Type	Method	Description
Configuration	AbstractIvmlVariable.DecVar.getConfiguration()
Configuration	Configuration.getConfiguration()	Returns the underlying EASy configuration.

Methods in net.ssehub.easy.instantiation.core.model.vilTypes.configuration with parameters of type Configuration

Modifier and Type	Method	Description
void	ChangeHistory.ChangeListener.configurationRefreshed(Configuration config)
void	ChangeHistory.ChangeListener.itemChanged(Configuration config, IDecisionVariable changedVariable, Value oldValue)
void	ChangeHistory.ChangeListener.stateChanged(Configuration config, IDecisionVariable changedVariable)

Constructors in net.ssehub.easy.instantiation.core.model.vilTypes.configuration with parameters of type Configuration

Constructor	Description
Configuration(Configuration configuration)	Creates a new configuration instance from an EASy configuration based on frozen variables.
Configuration(Configuration configuration, DecisionVariable[] variables, IVariableFilter filter)	Creates a configuration from a given set of variables.
Configuration(Configuration configuration, IVariableFilter filter)	Creates a new configuration instance from an EASy configuration.

Uses of Configuration in net.ssehub.easy.integration.common.impl

Fields in net.ssehub.easy.integration.common.impl declared as Configuration

Modifier and Type	Field	Description
private Configuration	Model.configuration

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

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

Modifier and Type	Field	Description
private Configuration	EasyExecutor.cfg

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

Modifier and Type	Method	Description
Configuration	EasyExecutor.getConfiguration()	Returns the configuration used by this executor.
Configuration	PLPInfo.getConfiguration()	Returns the configuration for the ivml variability model of this plp.
Configuration	EasyExecutor.loadIvmlModel()	Loads the IVML model and creates a configuration instance.

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

Modifier and Type	Method	Description
static void	EasyExecutor.printConfiguration(java.io.PrintStream out, Configuration cfg)	Convenience method to print the configuration.
static void	EasyExecutor.printConfiguration(Configuration cfg)	Convenience method to print the given configuration to System.out.
void	EasyExecutor.setConfiguration(Configuration cfg)	Replaces the configuration stored in this class.

Uses of Configuration in net.ssehub.easy.producer.core.varMod.container

Fields in net.ssehub.easy.producer.core.varMod.container declared as Configuration

Modifier and Type	Field	Description
private Configuration	ProjectContainer.config

Methods in net.ssehub.easy.producer.core.varMod.container that return Configuration

Modifier and Type	Method	Description
Configuration	ProjectContainer.getConfiguration()	Returns the configuration related to the stored Project.

Uses of Configuration in net.ssehub.easy.producer.ui.confModel

Fields in net.ssehub.easy.producer.ui.confModel declared as Configuration

Modifier and Type	Field	Description
private Configuration	ErrorSetter.config
private Configuration	GUIConfiguration.config

Methods in net.ssehub.easy.producer.ui.confModel that return Configuration

Modifier and Type	Method	Description
Configuration	GUIConfiguration.getConfig()	Returns the variability configuration.

Constructors in net.ssehub.easy.producer.ui.confModel with parameters of type Configuration

Constructor	Description
ErrorSetter(java.util.Map<AbstractVariable,GUIVariable> variableMap, Configuration config)	Sole constructor for setting error messages by this class.
GUIConfiguration(Configuration config, org.eclipse.swt.widgets.Composite parent)	Sole constructor for this class.

Uses of Configuration in net.ssehub.easy.producer.ui.productline_editor

Methods in net.ssehub.easy.producer.ui.productline_editor with parameters of type Configuration

Modifier and Type	Method	Description
static ConfigurationTableEditorFactory.UIConfiguration	ConfigurationTableEditorFactory.createConfiguration(Configuration config, IEASyEditorPage parent)	Creates a configuration instance holding UI configuration elements without parameters.
static ConfigurationTableEditorFactory.UIConfiguration	ConfigurationTableEditorFactory.createConfiguration(Configuration config, IEASyEditorPage parent, java.util.Map<ConfigurationTableEditorFactory.UIParameter,java.lang.Object> parameter)	Creates a configuration instance holding UI configuration elements.
static org.eclipse.jface.viewers.TreeViewer	ConfigurationTableEditorFactory.createConfigurationTableEditor(Configuration configuration, IEASyEditorPage parent)	Creates a configuration table editor.
org.eclipse.jface.viewers.TreeViewer	ConfigurationTableEditorFactory.createEditor(Configuration config, org.eclipse.swt.widgets.Composite parent)

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

Constructor	Description
ConfigTableEditor(Configuration configuration, IEASyEditorPage parent)	Creates a configuration table editor.
UIConfiguration(Configuration config, IEASyEditorPage parent, java.util.Map<ConfigurationTableEditorFactory.UIParameter,java.lang.Object> parameter)	Creates a configuration instance.

Uses of Configuration in net.ssehub.easy.producer.ui.productline_editor.configuration

Subclasses of Configuration in net.ssehub.easy.producer.ui.productline_editor.configuration

Modifier and Type	Class	Description
private class	AttributeValuesPage.TemporaryAttributesConfiguration	Represents a temporary configuration for defining attribute values and acts as a controller for the model-level modifications.

Fields in net.ssehub.easy.producer.ui.productline_editor.configuration declared as Configuration

Modifier and Type	Field	Description
private Configuration	ConfigurationTableEditor.config

Methods in net.ssehub.easy.producer.ui.productline_editor.configuration that return Configuration

Modifier and Type	Method	Description
Configuration	ConfigurationTableEditor.getConfig()
Configuration	IGUIConfigurationContainer.getConfig()	Returns the configuration instance.

Methods in net.ssehub.easy.producer.ui.productline_editor.configuration with parameters of type Configuration

Modifier and Type	Method	Description
void	AbstractConfigMenu.configurationRefreshed(Configuration config)
void	AttributeValuesPage.configurationRefreshed(Configuration config)	Notification that the whole configuration was refreshed, e.g.
void	ConfigurationTableEditor.configurationRefreshed(Configuration config)
void	AbstractConfigMenu.itemChanged(Configuration config, IDecisionVariable changedVariable, Value oldValue)
void	AttributeValuesPage.AttributeTableEditor.itemChanged(Configuration config, IDecisionVariable changedVariable, Value oldValue)	Notification that a DecisionVariable changed inside the Configuration.
void	AttributeValuesPage.itemChanged(Configuration config, IDecisionVariable changedVariable, Value oldValue)	Notification that a DecisionVariable changed inside the Configuration.
void	ConfigurationTableEditor.itemChanged(Configuration config, IDecisionVariable changedVariable, Value oldValue)
void	AttributeValuesPage.TemporaryAttributesConfiguration.refreshed(Configuration config)	In case that the configuration was refreshed.
void	AbstractConfigMenu.stateChanged(Configuration config, IDecisionVariable changedVariable)
void	AttributeValuesPage.stateChanged(Configuration config, IDecisionVariable changedVariable)
void	ConfigurationTableEditor.stateChanged(Configuration config, IDecisionVariable changedVariable)

Constructors in net.ssehub.easy.producer.ui.productline_editor.configuration with parameters of type Configuration

Constructor	Description
AttributeTableEditor(Configuration configuration, AbstractEASyEditorPage parent)	Sole constructor for this editor.
ConfigurationTableEditor(Configuration configuration, IEASyEditorPage parent)	Sole constructor for this editor.

Uses of Configuration in net.ssehub.easy.reasoning.core.frontend

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

Modifier and Type	Field	Description
private Configuration	AbstractChainedReasoner.config
private Configuration	ChainedReasonerState.config
private Configuration	ReasoningProcess.config

Fields in net.ssehub.easy.reasoning.core.frontend with type parameters of type Configuration

Modifier and Type	Field	Description
private java.util.Map<Configuration,ReasonerAdapter.IReasonerAdapter>	ReasonerAdapter.cache

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

Modifier and Type	Method	Description
Configuration	AbstractChainedReasoner.getLastConfiguration()
Configuration	ChainedReasonerState.getLastConfiguration()	Returns the last configuration to be passed on.

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

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.
void	ReasonerAdapter.clear(Configuration config)	Clears the cache entry for config if one was registered.
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.
void	ReasonerFrontend.DefaultReasonerProvider.initialize(Configuration config, 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	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.
void	ReasonerAdapter.register(Configuration config)	Registers for a reasoning adapter (cache entry) for config for instance-based reasoning.
void	AbstractChainedReasoner.setState(Configuration config, EvaluationResult result)
void	AbstractChainedReasoner.setState(Configuration config, ReasoningResult result)

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

Constructor	Description
ChainedReasonerState(Configuration config, EvaluationResult evaluationResult)	Creates a reasoner state.
ChainedReasonerState(Configuration config, ReasoningResult reasoningResult)	Creates a reasoner state.
ReasoningProcess(ReasoningOperation desiredOperation, Configuration config, ReasonerConfiguration reasonerConfig, IReasonerListener listener, ProgressObserver observer)	Sole constructor for this class.

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

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

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 Configuration in net.ssehub.easy.reasoning.core.performance

Methods in net.ssehub.easy.reasoning.core.performance with parameters of type Configuration

Modifier and Type	Method	Description
static void	PerformanceStatistics.printConfigVariables(java.lang.String reasoningID, Configuration config)	Method for printing all variables from a configuration to a file.

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

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

Modifier and Type	Field	Description
private Configuration	DelegatingReasonerInstance.config

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

Modifier and Type	Method	Description
Configuration	IChainingReasoner.getLastConfiguration()	Returns the last, potentially internal configuration.

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

Modifier and Type	Method	Description
static boolean	AttributesCheckVisitor.check(Configuration configuration, AttributeValues values, ReasoningResult result)	Checks the given configuration with respect to values and adjusts result if required.
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.
ReasoningResult	IReasoner.initialize(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Initializes the configuration according to the given model and propagates values, if possible.
ReasoningResult	IReasoner.propagate(Configuration cfg, ReasonerConfiguration reasonerConfiguration, ProgressObserver observer)	Checks the configuration according to the given model and propagates values, if possible.
void	IChainingReasoner.setState(Configuration config, EvaluationResult result)	Sets the state determined by the last reasoner.
void	IChainingReasoner.setState(Configuration config, ReasoningResult result)	Sets the state determined by the last reasoner.
void	AttributesCheckVisitor.visitConfiguration(Configuration configuration)

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

Constructor	Description
DelegatingReasonerInstance(Configuration config, ReasonerConfiguration rConfig, IReasoner delegate)	Creates a delegating reasoner instance.

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

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

Modifier and Type	Field	Description
private Configuration	Reasoner.ReasonerInstance.cfg
private Configuration	Resolver.config

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

Modifier and Type	Method	Description
private Configuration	Reasoner.createConfiguration(Project project, Configuration cfg, ReasonerConfiguration rConfig, boolean freshConfig)	Method for creating a clean Configuration if required.

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

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.propagate(Configuration cfg, ReasonerConfiguration reasonerConfig, ProgressObserver observer)

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

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.

Uses of Configuration in net.ssehub.easy.reasoning.sseReasoner.model

Fields in net.ssehub.easy.reasoning.sseReasoner.model declared as Configuration

Modifier and Type	Field	Description
private Configuration	VariablesInNotSimpleAssignmentConstraintsFinder.config

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

Modifier and Type	Method	Description
void	VariablesInNotSimpleAssignmentConstraintsFinder.accept(Constraint constraint, Configuration config)	Accepts and visits a constraint.
void	VariablesInNotSimpleAssignmentConstraintsFinder.acceptAndClear(java.util.List<Constraint> constraints, Configuration config, boolean add)	Combines #accept(Constraint) and VariablesInNotSimpleAssignmentConstraintsFinder.clear() for an iterable of constraints.
void	VariablesInNotSimpleAssignmentConstraintsFinder.acceptAndClear(Constraint constraint, Configuration config)	Combines #accept(Constraint) and VariablesInNotSimpleAssignmentConstraintsFinder.clear().
void	VariablesInNotSimpleAssignmentConstraintsFinder.acceptAndClear(Constraint constraint, Configuration config, boolean add)	Combines #accept(Constraint) and VariablesInNotSimpleAssignmentConstraintsFinder.clear().
static void	ReasoningUtils.printModelElements(Configuration config, java.lang.String comment)	Method for printing all variables, their states and values.

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

Constructor	Description
VariablesInConstraintFinder(ConstraintSyntaxTree cst, Configuration config)	Creates a constraint finder for single use directly on cst.

Uses of Configuration in net.ssehub.easy.varModel.capabilities

Methods in net.ssehub.easy.varModel.capabilities with parameters of type Configuration

Modifier and Type	Method	Description
void	DefaultReasonerAccess.IDefaultReasonerProvider.initialize(Configuration config, ProgressObserver progress)	Initializes the derived values in the given configuration and freezes.

Uses of Configuration in net.ssehub.easy.varModel.confModel

Fields in net.ssehub.easy.varModel.confModel declared as Configuration

Modifier and Type	Field	Description
protected Configuration	AssignmentResolver.config
private Configuration	QueryCache.config
private Configuration	ConfigurationSaver.srcConfiguration	this configuration, which should be saved.

Methods in net.ssehub.easy.varModel.confModel that return Configuration

Modifier and Type	Method	Description
Configuration	Configuration.getConfiguration()
protected Configuration	ConfigurationSaver.getConfiguration()	Returns the Configuration, which will currently saved by this saver.
Configuration	DecisionVariable.getConfiguration()
Configuration	IConfigurationElement.getConfiguration()	Returns the topLevel parent.
protected Configuration	NestedVarConfigProvider.getConfiguration()
protected Configuration	ToplevelVarConfigProvider.getConfiguration()	Return the Configuration where the related IDecisionVariable belongs to.
protected abstract Configuration	VariableConfigProvider.getConfiguration()	Return the configuration containing the related IDecisionVariable.

Methods in net.ssehub.easy.varModel.confModel with parameters of type Configuration

Modifier and Type	Method	Description
protected void	ConfigurationSaver.addAttributes(Project destProject, Configuration srcConfiguration)	Adds attributes to destProject.
protected void	ConfigurationSaver.addImports(Project destProject, Configuration srcConfiguration)	Adds the imports to destProject.
protected void	ConfigurationSaver.addLocalVariables(Project destProject, Configuration srcConfiguration)	Adds local variables to destProject.
protected void	ConfigurationSaver.addVersion(Project destProject, Configuration srcConfiguration)	Adds the current version to destProject.
static java.util.List<IDecisionVariable>	ConfigQuery.collectVariablesByType(Configuration config, IDatatype type, boolean onlyToplevel)	Gathers all IDecisionVariables of the given Configuration, which match the specified type.
void	IConfigurationChangeListener.configurationRefreshed(Configuration config)	Notification that the whole configuration was refreshed, e.g.
protected Project	ConfigurationSaver.createProject(Configuration srcConfiguration)	Creates the project to store the configuration into.
java.lang.String	DisplayNameProvider.getDisplayName(ConstraintSyntaxTree constraint, Configuration configuration)	Returns the display name of a constraint, e.g., for a value of a reference.
protected java.lang.String	DisplayNameProvider.getDisplayNameForIndexAccess(OCLFeatureCall call, Configuration configuration)	Returns the display name for an index access constraint expression.
java.util.List<Message>	ConfigurationInitializerRegistry.IConfigurationInitializer.initializeConfiguration(Configuration config, ProgressObserver observer)	Initializes the configuration.
void	IConfigurationChangeListener.itemChanged(Configuration config, IDecisionVariable changedVariable, Value oldValue)	Notification that a DecisionVariable changed inside the Configuration.
static IDecisionVariable	Configuration.mapVariable(IDecisionVariable var, Configuration cfg)	Maps a variable to its configuration following nested elements up and down.
(package private) static java.util.List<ConstraintSyntaxTree>	ConfigQuery.possibleValuesForReferences(Configuration config, Reference refType)	Calculates possible values (ConstraintSyntaxTree-based) for a given Reference variable.
static void	Configuration.printConfig(java.io.PrintStream out, Configuration cfg)	Prints a configuration to out.
void	Configuration.shareQueryCacheWith(Configuration configToShare)	Shares the cache of this Configuration with configToShare.
void	IConfigurationChangeListener.stateChanged(Configuration config, IDecisionVariable changedVariable)	Notification that the state of a DecisionVariable has been changed inside the Configuration.
void	AbstractConfigurationStatisticsVisitor.visitConfiguration(Configuration configuration)
void	AbstractConfigurationVisitor.visitConfiguration(Configuration configuration)	Visits a configuration.
void	IConfigurationVisitor.visitConfiguration(Configuration configuration)	Visits a configuration.

Constructors in net.ssehub.easy.varModel.confModel with parameters of type Configuration

Constructor	Description
AssignmentResolver(Configuration config)	Sole constructor for this class.
Configuration(Configuration configuration)	Copies a configuration by taking over its defined values and assignment states.
ConfigurationSaver(Configuration srcConfiguration, boolean ownProject)	Default constructor for this class.
ConfigurationSaver(Configuration srcConfiguration, boolean ownProject, boolean onlyUserInput)	Constructor for this class for saving the configuration.
QueryCache(Configuration config)	Default constructor for this class, creates an empty cache.

Uses of Configuration in net.ssehub.easy.varModel.cstEvaluation

Methods in net.ssehub.easy.varModel.cstEvaluation that return Configuration

Modifier and Type	Method	Description
Configuration	LocalDecisionVariable.getConfiguration()

Methods in net.ssehub.easy.varModel.cstEvaluation with parameters of type Configuration

Modifier and Type	Method	Description
private void	VariableValueCopier.doFreeze(VariableValueCopier.IFreezeProvider freezeProvider, Configuration cfg, IDecisionVariable var, IFreezable freezable)	Tries to freeze freezable.
void	VariableValueCopier.process(Configuration config)	Processes a configuration according to the copy specifications.

Constructors in net.ssehub.easy.varModel.cstEvaluation with parameters of type Configuration

Constructor	Description
FreezeEvaluator(Configuration config)	Creates a freeze evaluator for the given configuration.

Uses of Configuration in net.ssehub.easy.varModel.model.filter

Fields in net.ssehub.easy.varModel.model.filter declared as Configuration

Modifier and Type	Field	Description
private Configuration	AbstractStateVariablesInConstraintFinder.config
private Configuration	IDecisionVariableInConstraintFinder.config

Methods in net.ssehub.easy.varModel.model.filter that return Configuration

Modifier and Type	Method	Description
protected Configuration	AbstractStateVariablesInConstraintFinder.getConfiguration()	Returns the assigned configuration.

Methods in net.ssehub.easy.varModel.model.filter with parameters of type Configuration

Modifier and Type	Method	Description
void	AbstractStateVariablesInConstraintFinder.setConfiguration(Configuration config)	Defines the configuration to work on.

Constructors in net.ssehub.easy.varModel.model.filter with parameters of type Configuration

Constructor	Description
AbstractStateVariablesInConstraintFinder(ConstraintSyntaxTree cst, Configuration config)	Creates a constraint finder for single use directly on cst.
IDecisionVariableInConstraintFinder(Configuration config)	Single constructor for this class.
VariablesInConstraintFinder(ConstraintSyntaxTree cst, Configuration config)	Creates a constraint finder for single use directly on cst.

Uses of Configuration in net.ssehub.easy.varModel.model.filter.mandatoryVars

Constructors in net.ssehub.easy.varModel.model.filter.mandatoryVars with parameters of type Configuration

Constructor	Description
MandatoryDeclarationClassifier(Configuration config, FilterType filterType)	Initializes, but not start, this classifier.
MandatoryDeclarationClassifier(Configuration config, FilterType filterType, MandatoryClassifierSettings settings)	Initializes, but not start, this classifier.
VariableContainer(Configuration config, MandatoryClassifierSettings settings)	Single constructor for this class, initializes all variables in state Importance.UNCLAER.

Uses of Configuration in net.ssehub.easy.varModel.model.rewrite

Methods in net.ssehub.easy.varModel.model.rewrite with parameters of type Configuration

Modifier and Type	Method	Description
java.util.Set<IDecisionVariable>	RewriteContext.getInstancesForDeclaration(Configuration config, AbstractVariable declaration)	Returns the set of instances of the given AbstractVariable declaration.
java.util.Set<IDecisionVariable>	RewriteContext.getInstancesForType(Configuration config, IDatatype type)	Returns the set of instances of the given IDatatype.
(package private) void	VariableLookUpTable.init(Configuration config)	Creates the internal look up tables and should be called if it is the first time used.

Uses of Configuration in net.ssehub.easy.varModel.model.rewrite.modifier

Fields in net.ssehub.easy.varModel.model.rewrite.modifier declared as Configuration

Modifier and Type	Field	Description
private Configuration	AbstractFrozenChecker.config

Methods in net.ssehub.easy.varModel.model.rewrite.modifier that return Configuration

Modifier and Type	Method	Description
Configuration	AbstractFrozenChecker.getConfiguration()	Getter for the configuration (passed to the constructor).

Constructors in net.ssehub.easy.varModel.model.rewrite.modifier with parameters of type Configuration

Constructor	Description
AbstractFrozenChecker(Configuration config)	Single constructor of this class.
FrozenCompoundConstraintsOmitter(Configuration config)	Single constructor for this class.
FrozenConstraintsFilter(Configuration config)	Default Constructor if a Configuration is available containing already derived and propagated variables.
FrozenConstraintVarFilter(Configuration config)	Default constructor of this class.
FrozenTypeDefResolver(Configuration config)	Default constructor of this class.