isValid

The isValid operation checks whether a configuration is valid according to its feature model.

The isValid operation can also perform on a feature model and determines its satisfiability, i.e., whether or not there is at least one valid configuration.

example

Validity

Attachments