|
mcdp {
# This is always unfeasible
a = instance mcdp {
provides f [dimensionless]
requires r [dimensionless]
provides f2 [Interval(0, 10)]
requires r2 [Interval(0, 10)]
provided f ≤ required r
provided f2 + 1 ≤ required r2
}
f2 provided by a ≥ r2 required by a
requires r for a
provides f using a
}
|
|
|
|
|
