Equality: 'eq' and 'neq'

The eq (resp. neq) binary operator returns true (resp. false) if the contents of the two variables are equals.

The equality is specific to a type:

  • two variables of feature model type are equal if

1) they represent the same set of configurations, i.e., the compare operator applied to the two variables returns REFACTORING 2) they have the same hierarchy

  • two variables of type features are equal if

1) they have the same name 2) they belong to the same feature model

  • two variables of type configuration are equal if

1) they belong to the same feature model 2) they have the same set of selected, deselected and unselected features

example

Equality

Attachments