merge

The merge operator is used to merge two (or more than two) feature models and obtain an other feature model. The merge uses a name-based matching: two features match if and only if they have the same name. Several modes are defined for this operator. This mode indicates how the merge has to be done in terms of set of configurations preserved in the resulting feature model.

merge mode sfm

mode can be:

  • intersection
  • union
  • sunion
  • crossproduct
  • diff

sfm is a set of feature models, for example, you can use the following notation

{ fm1, fm2, ..., fmn } to represent a set of feature models fm1, fm2, ..., fmn.

You can also use this notation: fm* that represents a set of variables whose name begins with fm