Skip to content

Commit

Permalink
update doc for verifier
Browse files Browse the repository at this point in the history
  • Loading branch information
DarioRomano authored Mar 12, 2024
1 parent 36d63c3 commit 212e2a9
Showing 1 changed file with 7 additions and 4 deletions.
11 changes: 7 additions & 4 deletions src/main/java/at/jku/cps/travart/core/verify/UVLVerifier.java
Original file line number Diff line number Diff line change
Expand Up @@ -57,11 +57,14 @@ private UVLVerifier() {
}

/**
* verifies if the
* verifies if the two passed UVL models are logically equivalent and therefore have the same
* configuration space. Requires that features in the models have the same names.
*
* @param fm1
* @param fm2
* @return
* @param fm1 The first model
* @param fm2 the second model
* @return returns true if the verification was successful. Throws a VerificationException if the verification
* failed containing the logic formulas for both models, and a configuration that leads to an un-equal
* configuration state for both models.
*/
public static boolean verify(FeatureModel fm1, FeatureModel fm2) throws VerificationException {
if (!equals(fm1, fm2)) {
Expand Down

0 comments on commit 212e2a9

Please sign in to comment.