/**
   * 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;
  }