Package eu.qualimaster.easy.extension.modelop

Class QmPrunedConfigSaver

java.lang.Object

net.ssehub.easy.varModel.confModel.ConfigurationSaver

eu.qualimaster.easy.extension.modelop.QualiMasterConfigurationSaver

eu.qualimaster.easy.extension.modelop.QmPrunedConfigSaver

class QmPrunedConfigSaver
extends QualiMasterConfigurationSaver

QualiMasterConfigurationSaver used by the ModelModifier to save values generated by constraints.

Author:

El-Sharkawy

Constructor Summary

Constructors

Constructor	Description
QmPrunedConfigSaver(net.ssehub.easy.varModel.confModel.Configuration srcConfiguration)	Single constructor for this class.

Method Summary

Modifier and Type	Method	Description
protected boolean	isSavingEnabled(net.ssehub.easy.varModel.model.Project destProject, net.ssehub.easy.varModel.confModel.IDecisionVariable var)
protected void	saveFreezeStates(net.ssehub.easy.varModel.model.Project confProject)

Methods inherited from class eu.qualimaster.easy.extension.modelop.QualiMasterConfigurationSaver

addImports, addLocalVariables, createAssignmentConstraint, createFreezeBlock, createProject

Methods inherited from class net.ssehub.easy.varModel.confModel.ConfigurationSaver

addAttributes, addVersion, deriveOperand, getConfiguration, getSavedConfiguration, toSaveableValue

Methods inherited from class java.lang.Object

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

Constructor Details

QmPrunedConfigSaver

QmPrunedConfigSaver(net.ssehub.easy.varModel.confModel.Configuration srcConfiguration)
             throws net.ssehub.easy.varModel.confModel.ConfigurationException

Single constructor for this class.

Parameters:

srcConfiguration - The configuration which should be saved.

Throws:

net.ssehub.easy.varModel.confModel.ConfigurationException - in case of any configuration errors

Method Details

saveFreezeStates

protected void saveFreezeStates(net.ssehub.easy.varModel.model.Project confProject)

Overrides:

saveFreezeStates in class QualiMasterConfigurationSaver

isSavingEnabled

protected boolean isSavingEnabled(net.ssehub.easy.varModel.model.Project destProject,
 net.ssehub.easy.varModel.confModel.IDecisionVariable var)

Overrides:

isSavingEnabled in class QualiMasterConfigurationSaver