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