CompositeNDP
│ provides power_profile {∞ W} │ requires charging_profile {0 W}
│ │ requires cost {0 USD}
│ │ requires mass {0 g}
│ 8 nodes, 4 edges
│ connected rec: ✓
│ charging_profile required by _constant ≤ required charging_profile equiv (always satisfied)
│ cost required by _constant1 ≤ required cost equiv (always satisfied)
│ mass required by _constant2 ≤ required mass equiv (always satisfied)
│ provided power_profile ≤ power_profile provided by _limit equiv (always satisfied)
├ _constant: SimpleWrap
│ │ - │ requires charging_profile {0 W}
│ └ DP_Constant 𝟙 ⇸ {0 W}
│ 0 W ≤ 𝒓
├ _constant1: SimpleWrap
│ │ - │ requires cost {0 USD}
│ └ DP_Constant 𝟙 ⇸ {0 USD}
│ 0 USD ≤ 𝒓
├ _constant2: SimpleWrap
│ │ - │ requires mass {0 g}
│ └ DP_Constant 𝟙 ⇸ {0 g}
│ 0 g ≤ 𝒓
└ _limit: SimpleWrap
│ provides power_profile {∞ W} │ -
└ DP_Limit {∞ W} ⇸ 𝟙 > NVU:∞ W
𝒇 ≤ ∞ W