CompositeNDP
│ - │ requires cost {0 USD}
│ │ requires mass SB(≥0) g
│ 7 nodes, 8 edges
│ connected rec: ✓
│ _result required by _sum ≤ required mass equiv id
│ _result2 required by _sum1 ≤ required cost equiv (always satisfied)
│ cost required by enclosure ≤ enclosure_cost provided by _sum1 equiv (always satisfied)
│ mass required by enclosure ≤ enclosure_mass provided by _sum equiv (always satisfied)
│ area required by energetics ≤ area_to_expose provided by enclosure diff (always satisfied)
│ cost required by energetics ≤ energetics_cost provided by _sum1 equiv (always satisfied)
│ mass required by energetics ≤ energetics_mass provided by _sum equiv id
│ plutonium required by energetics ≤ plutonium provided by getting_plutonium diff DP_GenericConstant SB(≥0) g ⇸ {50 g}
│ 𝒇 ≤ 50 g
│ ├ b: ()
│ ├ lf: LowerSet(maximals=ff❨50.000000000❩)
│ └ ur: UpperSet(minimals=ff❨50.000000000❩)
│ Unconnected func:
│ {CFunction(dp='energetics', s='power_profile'), CFunction(dp='enclosure', s='shape_to_enclose')}
│ Unconnected res:
│ {CResource(dp='energetics', s='solar_radiation'), CResource(dp='getting_plutonium', s='objectives')}
├ _sum: SimpleWrap
│ │ provides enclosure_mass {0 g} │ requires _result SB(≥0) g
│ │ provides energetics_mass SB(≥0) g │
│ └ DP_Mux SB(0)×SB(≥0) ⟨g,g⟩ ⇸ SB(≥0) g
│ iso(𝒇, 𝒓) ⟨a,b⟩ ↦ b
│ ⟨0 g,α⟩ ↤ α
├ _sum1: SimpleWrap
│ │ provides enclosure_cost {0 USD} │ requires _result2 {0 USD}
│ │ provides energetics_cost {0 USD} │
│ └ DP_True {⟨0,0⟩ ⟨USD,USD⟩} ⇸ {0 USD} val = * > ()
│ true
├ enclosure: 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 _limit equiv (always satisfied)
│ │ provided shape_to_enclose ≤ shape_to_enclose provided by _limit1 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 area_to_expose {∞ m²} │ -
│ │ └ DP_Limit {∞ m²} ⇸ 𝟙 > NVU:∞ m²
│ │ 𝒇 ≤ ∞ m²
│ └ _limit1: SimpleWrap
│ │ provides shape_to_enclose {⟨∞,∞,∞⟩ ⟨m,m,m⟩} │ -
│ └ DP_Limit {⟨∞,∞,∞⟩ ⟨m,m,m⟩} ⇸ 𝟙 > NVU:⟨∞ m,∞ m,∞ m⟩
│ 𝒇 ≤ ⟨∞ m,∞ m,∞ m⟩
├ energetics: NamedDPCoproduct
│ ├ rtig: CompositeNDP
│ │ │ provides power_profile {∞ W} │ requires mass SB(≥0) g
│ │ │ │ requires cost {0 USD}
│ │ │ │ requires area {0 m²}
│ │ │ │ requires solar_radiation {0 lux}
│ │ │ │ requires plutonium SB(≥0) g
│ │ │ 9 nodes, 6 edges
│ │ │ connected rec: ✓
│ │ │ _c required by _c ≤ required area equiv (always satisfied)
│ │ │ _c2 required by _c2 ≤ required solar_radiation equiv (always satisfied)
│ │ │ provided power_profile ≤ power_profile provided by rtig equiv (always satisfied)
│ │ │ cost required by rtig ≤ required cost equiv (always satisfied)
│ │ │ mass required by rtig ≤ required mass equiv id
│ │ │ plutonium required by rtig ≤ required plutonium equiv id
│ │ ├ _c: SimpleWrap
│ │ │ │ - │ requires _c {0 m²}
│ │ │ └ DP_Constant 𝟙 ⇸ {0 m²}
│ │ │ 0 m² ≤ 𝒓
│ │ ├ _c2: SimpleWrap
│ │ │ │ - │ requires _c2 {0 lux}
│ │ │ └ DP_Constant 𝟙 ⇸ {0 lux}
│ │ │ 0 lux ≤ 𝒓
│ │ └ rtig: CompositeNDP
│ │ │ provides power_profile {∞ W} │ requires plutonium SB(≥0) g
│ │ │ │ requires cost {0 USD}
│ │ │ │ requires mass SB(≥0) g
│ │ │ 7 nodes, 7 edges
│ │ │ connected rec: ✓
│ │ │ provided power_profile ≤ power provided by thermocouple equiv (always satisfied)
│ │ │ _result required by _sum ≤ required mass equiv id
│ │ │ mass required by plutonium_pellet ≤ plutonium_pellet_mass provided by _sum equiv id
│ │ │ plutonium required by plutonium_pellet ≤ required plutonium equiv id
│ │ │ cost required by thermocouple ≤ required cost equiv (always satisfied)
│ │ │ heat required by thermocouple ≤ heat provided by plutonium_pellet diff (always satisfied)
│ │ │ mass required by thermocouple ≤ thermocouple_mass provided by _sum equiv (always satisfied)
│ │ ├ _sum: SimpleWrap
│ │ │ │ provides plutonium_pellet_mass SB(≥0) g │ requires _result SB(≥0) g
│ │ │ │ provides thermocouple_mass {0 g} │
│ │ │ └ DP_Mux SB(≥0)×SB(0) ⟨g,g⟩ ⇸ SB(≥0) g
│ │ │ iso(𝒇, 𝒓) ⟨a,b⟩ ↦ a
│ │ │ ⟨α,0 g⟩ ↤ α
│ │ ├ plutonium_pellet: CompositeNDP
│ │ │ │ provides heat SB(≥0) W │ requires plutonium SB(≥0) g
│ │ │ │ │ requires mass SB(≥0) g
│ │ │ │ 6 nodes, 5 edges
│ │ │ │ connected rec: ✓
│ │ │ │ mass required by _conversion ≤ required mass equiv id
│ │ │ │ plutonium required by _conversion1 ≤ required plutonium equiv id
│ │ │ │ _res required by _divr ≤ m provided by _conversion equiv id
│ │ │ │ _res required by _divr ≤ m provided by _conversion1 equiv id
│ │ │ │ provided heat ≤ _op provided by _divr equiv id
│ │ │ ├ _conversion: SimpleWrap
│ │ │ │ │ provides m SB(≥0) kg │ requires mass SB(≥0) g
│ │ │ │ └ UnitConversion SB(≥0) kg ⇸ SB(≥0) g
│ │ │ │ 𝒇 [kg] ≤ 𝒓 [g]
│ │ │ │ ├ F0: SB(≥0)
│ │ │ │ ├ factor: 1000
│ │ │ │ ├ F_units: SingleUnits kg
│ │ │ │ └ R_units: SingleUnits g
│ │ │ ├ _conversion1: SimpleWrap
│ │ │ │ │ provides m SB(≥0) kg │ requires plutonium SB(≥0) g
│ │ │ │ └ UnitConversion SB(≥0) kg ⇸ SB(≥0) g
│ │ │ │ 𝒇 [kg] ≤ 𝒓 [g]
│ │ │ │ ├ F0: SB(≥0)
│ │ │ │ ├ factor: 1000
│ │ │ │ ├ F_units: SingleUnits kg
│ │ │ │ └ R_units: SingleUnits g
│ │ │ └ _divr: SimpleWrap
│ │ │ │ provides _op SB(≥0) W │ requires _res SB(≥0) kg
│ │ │ └ DP_L_UME SB(≥0) W ⇸ SB(≥0) kg
│ │ │ 𝒇 / 560 ≤ 𝒓
│ │ │ └ M_C_WrapUnits W → kg
│ │ │ └ M_A_Divide1_Upper SB(≥0) → same x ⟼ x / 560
│ │ └ thermocouple: CompositeNDP
│ │ │ provides power {∞ W} │ requires heat {0 W}
│ │ │ │ requires mass {0 g}
│ │ │ │ requires cost {0 USD}
│ │ │ 8 nodes, 4 edges
│ │ │ connected rec: ✓
│ │ │ heat required by _constant ≤ required heat equiv (always satisfied)
│ │ │ cost required by _constant1 ≤ required cost equiv (always satisfied)
│ │ │ mass required by _constant2 ≤ required mass equiv (always satisfied)
│ │ │ provided power ≤ power provided by _limit equiv (always satisfied)
│ │ ├ _constant: SimpleWrap
│ │ │ │ - │ requires heat {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 {∞ W} │ -
│ │ └ DP_Limit {∞ W} ⇸ 𝟙 > NVU:∞ W
│ │ 𝒇 ≤ ∞ W
│ ├ solar: CompositeNDP
│ │ │ provides power_profile {∞ W} │ requires mass {0 g}
│ │ │ │ requires cost {0 USD}
│ │ │ │ requires area {0 m²}
│ │ │ │ requires solar_radiation {0 lux}
│ │ │ │ requires plutonium {0 g}
│ │ │ 8 nodes, 6 edges
│ │ │ connected rec: ✓
│ │ │ _c required by _c ≤ required plutonium equiv (always satisfied)
│ │ │ provided power_profile ≤ power_profile provided by solar_panels equiv (always satisfied)
│ │ │ area required by solar_panels ≤ required area equiv (always satisfied)
│ │ │ cost required by solar_panels ≤ required cost equiv (always satisfied)
│ │ │ mass required by solar_panels ≤ required mass equiv (always satisfied)
│ │ │ solar_radiation required by solar_panels ≤ required solar_radiation equiv (always satisfied)
│ │ ├ _c: SimpleWrap
│ │ │ │ - │ requires _c {0 g}
│ │ │ └ DP_Constant 𝟙 ⇸ {0 g}
│ │ │ 0 g ≤ 𝒓
│ │ └ solar_panels: CompositeNDP
│ │ │ provides power_profile {∞ W} │ requires mass {0 g}
│ │ │ │ requires cost {0 USD}
│ │ │ │ requires area {0 m²}
│ │ │ │ requires solar_radiation {0 lux}
│ │ │ 10 nodes, 5 edges
│ │ │ connected rec: ✓
│ │ │ cost required by _constant ≤ required cost equiv (always satisfied)
│ │ │ mass required by _constant1 ≤ required mass equiv (always satisfied)
│ │ │ solar_radiation required by _constant2 ≤ required solar_radiation equiv (always satisfied)
│ │ │ area required by _constant3 ≤ required area equiv (always satisfied)
│ │ │ provided power_profile ≤ power_profile 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 ≤ 𝒓
│ │ ├ _constant2: SimpleWrap
│ │ │ │ - │ requires solar_radiation {0 lux}
│ │ │ └ DP_Constant 𝟙 ⇸ {0 lux}
│ │ │ 0 lux ≤ 𝒓
│ │ ├ _constant3: SimpleWrap
│ │ │ │ - │ requires area {0 m²}
│ │ │ └ DP_Constant 𝟙 ⇸ {0 m²}
│ │ │ 0 m² ≤ 𝒓
│ │ └ _limit: SimpleWrap
│ │ │ provides power_profile {∞ W} │ -
│ │ └ DP_Limit {∞ W} ⇸ 𝟙 > NVU:∞ W
│ │ 𝒇 ≤ ∞ W
│ ├ battery: CompositeNDP
│ │ │ provides power_profile {∞ W} │ requires mass {0 g}
│ │ │ │ requires cost {0 USD}
│ │ │ │ requires area {0 m²}
│ │ │ │ requires solar_radiation {0 lx}
│ │ │ │ requires plutonium {0 g}
│ │ │ 11 nodes, 7 edges
│ │ │ connected rec: ✓
│ │ │ _c required by _c ≤ required area equiv (always satisfied)
│ │ │ _c2 required by _c2 ≤ required solar_radiation equiv (always satisfied)
│ │ │ _c3 required by _c3 ≤ required plutonium equiv (always satisfied)
│ │ │ provided power_profile ≤ power_profile provided by battery equiv (always satisfied)
│ │ │ charging_profile required by battery ≤ _l provided by _lim equiv (always satisfied)
│ │ │ cost required by battery ≤ required cost equiv (always satisfied)
│ │ │ mass required by battery ≤ required mass equiv (always satisfied)
│ │ ├ _c: SimpleWrap
│ │ │ │ - │ requires _c {0 m²}
│ │ │ └ DP_Constant 𝟙 ⇸ {0 m²}
│ │ │ 0 m² ≤ 𝒓
│ │ ├ _c2: SimpleWrap
│ │ │ │ - │ requires _c2 {0 lx}
│ │ │ └ DP_Constant 𝟙 ⇸ {0 lx}
│ │ │ 0 lx ≤ 𝒓
│ │ ├ _c3: SimpleWrap
│ │ │ │ - │ requires _c3 {0 g}
│ │ │ └ DP_Constant 𝟙 ⇸ {0 g}
│ │ │ 0 g ≤ 𝒓
│ │ ├ _lim: SimpleWrap
│ │ │ │ provides _l {0 W} │ -
│ │ │ └ DP_Limit {0 W} ⇸ 𝟙 > NVU:0 W
│ │ │ 𝒇 ≤ 0 W
│ │ └ battery: CompositeNDP
│ │ │ provides power_profile {∞ W} │ requires charging_profile {0 W}
│ │ │ │ requires cost {0 USD}
│ │ │ │ requires mass {0 g}
│ │ │ 8 nodes, 4 edges
│ │ │ connected rec: ✓
│ │ │ cost required by _constant ≤ required cost equiv (always satisfied)
│ │ │ charging_profile required by _constant1 ≤ required charging_profile 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 cost {0 USD}
│ │ │ └ DP_Constant 𝟙 ⇸ {0 USD}
│ │ │ 0 USD ≤ 𝒓
│ │ ├ _constant1: SimpleWrap
│ │ │ │ - │ requires charging_profile {0 W}
│ │ │ └ DP_Constant 𝟙 ⇸ {0 W}
│ │ │ 0 W ≤ 𝒓
│ │ ├ _constant2: SimpleWrap
│ │ │ │ - │ requires mass {0 g}
│ │ │ └ DP_Constant 𝟙 ⇸ {0 g}
│ │ │ 0 g ≤ 𝒓
│ │ └ _limit: SimpleWrap
│ │ │ provides power_profile {∞ W} │ -
│ │ └ DP_Limit {∞ W} ⇸ 𝟙 > NVU:∞ W
│ │ 𝒇 ≤ ∞ W
│ └ battery_plus_solar: CompositeNDP
│ │ provides power_profile {∞ W} │ requires mass {0 g}
│ │ │ requires cost {0 USD}
│ │ │ requires area {0 m²}
│ │ │ requires solar_radiation {0 lux}
│ │ │ requires plutonium {0 g}
│ │ 8 nodes, 6 edges
│ │ connected rec: ✓
│ │ _c required by _c ≤ required plutonium equiv (always satisfied)
│ │ provided power_profile ≤ power_profile provided by battery_plus_solar equiv (always satisfied)
│ │ area required by battery_plus_solar ≤ required area equiv (always satisfied)
│ │ cost required by battery_plus_solar ≤ required cost equiv (always satisfied)
│ │ mass required by battery_plus_solar ≤ required mass equiv (always satisfied)
│ │ solar_radiation required by battery_plus_solar ≤ required solar_radiation equiv (always satisfied)
│ ├ _c: SimpleWrap
│ │ │ - │ requires _c {0 g}
│ │ └ DP_Constant 𝟙 ⇸ {0 g}
│ │ 0 g ≤ 𝒓
│ └ battery_plus_solar: CompositeNDP
│ │ provides power_profile {∞ W} │ requires cost {0 USD}
│ │ │ requires mass {0 g}
│ │ │ requires area {0 m²}
│ │ │ requires solar_radiation {0 lux}
│ │ 9 nodes, 10 edges
│ │ connected rec: ✓
│ │ provided power_profile ≤ power_profile provided by battery equiv (always satisfied)
│ │ _result required by _sum ≤ required cost equiv (always satisfied)
│ │ _result2 required by _sum1 ≤ required mass equiv (always satisfied)
│ │ charging_profile required by battery ≤ power_profile provided by solar_panels diff (always satisfied)
│ │ cost required by battery ≤ battery_cost provided by _sum equiv (always satisfied)
│ │ mass required by battery ≤ battery_mass provided by _sum1 equiv (always satisfied)
│ │ area required by solar_panels ≤ required area equiv (always satisfied)
│ │ cost required by solar_panels ≤ solar_panels_cost provided by _sum equiv (always satisfied)
│ │ mass required by solar_panels ≤ solar_panels_mass provided by _sum1 equiv (always satisfied)
│ │ solar_radiation required by solar_panels ≤ required solar_radiation equiv (always satisfied)
│ ├ _sum: SimpleWrap
│ │ │ provides battery_cost {0 USD} │ requires _result {0 USD}
│ │ │ provides solar_panels_cost {0 USD} │
│ │ └ DP_True {⟨0,0⟩ ⟨USD,USD⟩} ⇸ {0 USD} val = *
│ │ true
│ │ ()
│ ├ _sum1: SimpleWrap
│ │ │ provides battery_mass {0 g} │ requires _result2 {0 g}
│ │ │ provides solar_panels_mass {0 g} │
│ │ └ DP_True {⟨0,0⟩ ⟨g,g⟩} ⇸ {0 g} val = *
│ │ true
│ │ ()
│ ├ battery: CompositeNDP
│ │ │ provides power_profile {∞ W} │ requires charging_profile {0 W}
│ │ │ │ requires cost {0 USD}
│ │ │ │ requires mass {0 g}
│ │ │ 8 nodes, 4 edges
│ │ │ connected rec: ✓
│ │ │ cost required by _constant ≤ required cost equiv (always satisfied)
│ │ │ charging_profile required by _constant1 ≤ required charging_profile 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 cost {0 USD}
│ │ │ └ DP_Constant 𝟙 ⇸ {0 USD}
│ │ │ 0 USD ≤ 𝒓
│ │ ├ _constant1: SimpleWrap
│ │ │ │ - │ requires charging_profile {0 W}
│ │ │ └ DP_Constant 𝟙 ⇸ {0 W}
│ │ │ 0 W ≤ 𝒓
│ │ ├ _constant2: SimpleWrap
│ │ │ │ - │ requires mass {0 g}
│ │ │ └ DP_Constant 𝟙 ⇸ {0 g}
│ │ │ 0 g ≤ 𝒓
│ │ └ _limit: SimpleWrap
│ │ │ provides power_profile {∞ W} │ -
│ │ └ DP_Limit {∞ W} ⇸ 𝟙
│ │ 𝒇 ≤ ∞ W
│ │ NVU:∞ W
│ └ solar_panels: CompositeNDP
│ │ provides power_profile {∞ W} │ requires mass {0 g}
│ │ │ requires cost {0 USD}
│ │ │ requires area {0 m²}
│ │ │ requires solar_radiation {0 lux}
│ │ 10 nodes, 5 edges
│ │ connected rec: ✓
│ │ cost required by _constant ≤ required cost equiv (always satisfied)
│ │ mass required by _constant1 ≤ required mass equiv (always satisfied)
│ │ solar_radiation required by _constant2 ≤ required solar_radiation equiv (always satisfied)
│ │ area required by _constant3 ≤ required area equiv (always satisfied)
│ │ provided power_profile ≤ power_profile 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 ≤ 𝒓
│ ├ _constant2: SimpleWrap
│ │ │ - │ requires solar_radiation {0 lux}
│ │ └ DP_Constant 𝟙 ⇸ {0 lux}
│ │ 0 lux ≤ 𝒓
│ ├ _constant3: SimpleWrap
│ │ │ - │ requires area {0 m²}
│ │ └ DP_Constant 𝟙 ⇸ {0 m²}
│ │ 0 m² ≤ 𝒓
│ └ _limit: SimpleWrap
│ │ provides power_profile {∞ W} │ -
│ └ DP_Limit {∞ W} ⇸ 𝟙
│ 𝒇 ≤ ∞ W
│ NVU:∞ W
└ getting_plutonium: CompositeNDP
│ provides plutonium {50 g} │ requires objectives {find_ancient_life}
│ 3 nodes, 2 edges
│ connected rec: ✓
│ provided plutonium ≤ plutonium provided by friend equiv (always satisfied)
│ objectives required by friend ≤ required objectives equiv (always satisfied)
└ NamedDPCoproduct
├ US: SimpleWrap
│ │ provides plutonium {50 g} │ requires objectives {find_ancient_life}
│ └ DP_GenericConstant {50 g} ⇸ {find_ancient_life}
│ true
│ ├ b: _
│ ├ lf: LowerSet(maximals=ff❨50.000000000❩)
│ └ ur: UpperSet(minimals=ff❨find_ancient_life❩)
└ Ru: SimpleWrap
│ provides plutonium {50 g} │ requires objectives {find_ancient_life}
└ DP_GenericConstant {50 g} ⇸ {find_ancient_life}
true
├ b: _
├ lf: LowerSet(maximals=ff❨50.000000000❩)
└ ur: UpperSet(minimals=ff❨find_ancient_life❩)