|
Lines 342-351
Link Here
|
| 342 |
if (isApplicable(reqs[i][1])) { |
342 |
if (isApplicable(reqs[i][1])) { |
| 343 |
genericExpandRequirement(" -1 " + getVariable(patch) + " -1 " + getVariable(iu), iu, reqs[i][1], " >= -1", " 1 " + getVariable(patch) + "=0;"); //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$ //$NON-NLS-4$ //$NON-NLS-5$ |
343 |
genericExpandRequirement(" -1 " + getVariable(patch) + " -1 " + getVariable(iu), iu, reqs[i][1], " >= -1", " 1 " + getVariable(patch) + "=0;"); //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$ //$NON-NLS-4$ //$NON-NLS-5$ |
| 344 |
} |
344 |
} |
|
|
345 |
|
| 346 |
//P1 -> B |
| 347 |
if (reqs[i][0] == null) |
| 348 |
expandRequirement(getVariable(patch), patch, reqs[i][1]); |
| 349 |
|
| 345 |
//Generate dependency when the patch is not applied |
350 |
//Generate dependency when the patch is not applied |
| 346 |
//-P1 -> A -> B ( equiv. -P1 & A -> B equiv 1 P1 - 1 A + 1 B >= 0) |
351 |
//-P1 -> A -> B ( equiv. -P1 & A -> B equiv 1 P1 - 1 A + 1 B >= 0) |
| 347 |
if (isApplicable(reqs[i][0])) |
352 |
if (reqs[i][0] != null && isApplicable(reqs[i][0])) |
| 348 |
genericExpandRequirement(" 1 " + getVariable(patch) + " -1 " + getVariable(iu), iu, reqs[i][0], " >= 0", implies(getVariable(iu), getVariable(patch))); //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$ |
353 |
genericExpandRequirement(" 1 " + getVariable(patch) + " -1 " + getVariable(iu), iu, reqs[i][0], " >= 0", implies(getVariable(iu), getVariable(patch))); //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$ |
|
|
354 |
|
| 349 |
} |
355 |
} |
| 350 |
addOptionalityExpression(); |
356 |
addOptionalityExpression(); |
| 351 |
} |
357 |
} |
