CompositeNDP
│ provides car_weight {∞ kg} │ requires energy {0 J}
│ provides payload {∞ kg} │
│ provides velocity {∞ km/h} │
│ provides distance {∞ km} │
│ 10 nodes, 5 edges
│ connected rec: ✓
│ energy required by _constant ≤ required energy equiv (always satisfied)
│ provided car_weight ≤ car_weight provided by _limit3 equiv (always satisfied)
│ provided distance ≤ distance provided by _limit2 equiv (always satisfied)
│ provided payload ≤ payload provided by _limit1 equiv (always satisfied)
│ provided velocity ≤ velocity provided by _limit equiv (always satisfied)
├ _constant: SimpleWrap
│ │ - │ requires energy {0 J}
│ └ DP_Constant 𝟙 ⇸ {0 J}
│ 0 J ≤ 𝒓
├ _limit: SimpleWrap
│ │ provides velocity {∞ km/h} │ -
│ └ DP_Limit {∞ km/h} ⇸ 𝟙 > NVU:∞ km/h
│ 𝒇 ≤ ∞ km/h
├ _limit1: SimpleWrap
│ │ provides payload {∞ kg} │ -
│ └ DP_Limit {∞ kg} ⇸ 𝟙 > NVU:∞ kg
│ 𝒇 ≤ ∞ kg
├ _limit2: SimpleWrap
│ │ provides distance {∞ km} │ -
│ └ DP_Limit {∞ km} ⇸ 𝟙 > NVU:∞ km
│ 𝒇 ≤ ∞ km
└ _limit3: SimpleWrap
│ provides car_weight {∞ kg} │ -
└ DP_Limit {∞ kg} ⇸ 𝟙 > NVU:∞ kg
𝒇 ≤ ∞ kg