/**
* Transform a cardinality-based feature model into a constraint model.
*
* @param featuremodel
*/
public Model getCSPModel(FeatureModel featuremodel) {
Feature rootFeature = featuremodel.getRoot();
// according to Benavides2005 transform fm into csp model
transformFeature(rootFeature);
transformConstraints(featuremodel);
return cspModel;
}
private void transformConstraints(FeatureModel model) {
EList<org.js.model.feature.Constraint> constraints = model.getConstraints();
for (org.js.model.feature.Constraint constraint : constraints) {
Constraint chocoConstraint = createCrossTreeConstraint(constraint);
if (chocoConstraint != null) {
getModel().addConstraint(chocoConstraint);
}
}
}