mirror of
https://github.com/Echtzeitsysteme/gips-tests.git
synced 2024-05-20 12:00:56 +00:00
52802dc326
- Explanation: The equivalence constraint forces the free variabe fv >= 1 iff the mapping variable mv >= 1. But if mv is not 1, then fv is allowed to have literally any value other than values > 0. In the Test it is checked, if fv == 0, when mv == 0. This will only work if fv is a binary variable, otherwise it might or might not work depending on the random choice of the used solver, since fv can still have valid values in [-9999, 0] and not violate the initial constraint. To fix that i have added a simple lower bound to the specifaction, that forces fv >= 0. In this case fv will behave just like a binary variable and be 0 in case mv == 0. |
||
|---|---|---|
| .. | ||
| .settings | ||
| META-INF | ||
| src/gipsl/all/build/varequivalence | ||
| .classpath | ||
| .project | ||
| build.properties | ||