CompositeNDP
│ 5 nodes, 5 edges
│ connected rec: ✓
│ _result required by _sum ≤ total_mass provided by _total_mass equiv id
│ mass required by enclosure ≤ enclosure_mass provided by _sum equiv id
│ area required by energetics ≤ area_to_expose provided by enclosure equiv id
│ 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='getting_plutonium', s='objectives'), CResource(dp='_total_mass', s='total_mass'), CResource(dp='energetics', s='cost'), CResource(dp='energetics', s='solar_radiation'), CResource(dp='enclosure', s='cost')}
├ _sum: SimpleWrap
│ │ provides enclosure_mass SB(≥0) g │ requires _result SB(≥0) g
│ │ provides energetics_mass SB(≥0) g │
│ └ M_Res_AddMany_DP SB(≥0)×SB(≥0) ⟨g,g⟩ ⇸ SB(≥0) g
│ 𝒇₁ + 𝒇₂ ≤ 𝒓
│ ├ Fs: ├ SB(≥0) g
│ │ └ SB(≥0) g
│ ├ opspace: SB(≥0) g
│ └ algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT
├ _total_mass: SimpleWrap
│ │ provides total_mass SB(≥0) g │ requires total_mass SB(≥0) g
│ └ DP_Id SB(≥0) g ⇸ SB(≥0) g
│ 𝒇 ≤ 𝒓
├ enclosure: Templatized
│ │ provides shape_to_enclose SB(≥0)×SB(≥0)×SB(≥0) ⟨m,m,m⟩ │ requires mass SB(≥0) g
│ │ provides area_to_expose SB(≥0) m^2 │ requires cost SB(≥0) g
│ └ Template WU ⟨⟨m,m,m⟩,m^2⟩ ⇸ SB(≥0)×SB(≥0) ⟨g,g⟩ val = * > ()
│ └ Π<2>
│ ├ shape_to_enclose: Π<3>
│ │ ├ SB(≥0)
│ │ ├ SB(≥0)
│ │ └ SB(≥0)
│ └ area_to_expose: SB(≥0)
│ template
├ energetics: NamedDPCoproduct
│ ├ rtig: CompositeNDP
│ │ │ provides power_profile SB(≥0) W │ requires mass SB(≥0) g
│ │ │ │ requires cost SB(≥0) USD
│ │ │ │ requires area {0 m^2}
│ │ │ │ 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 id
│ │ │ cost required by rtig ≤ required cost equiv id
│ │ │ mass required by rtig ≤ required mass equiv id
│ │ │ plutonium required by rtig ≤ required plutonium equiv id
│ │ ├ _c: SimpleWrap
│ │ │ │ - │ requires _c {0 m^2}
│ │ │ └ DP_Constant 𝟙 ⇸ {0 m^2}
│ │ │ 0 m^2 ≤ 𝒓
│ │ ├ _c2: SimpleWrap
│ │ │ │ - │ requires _c2 {0 lux}
│ │ │ └ DP_Constant 𝟙 ⇸ {0 lux}
│ │ │ 0 lux ≤ 𝒓
│ │ └ rtig: CompositeNDP
│ │ │ provides power_profile SB(≥0) W │ requires plutonium SB(≥0) g
│ │ │ │ requires cost SB(≥0) USD
│ │ │ │ requires mass SB(≥0) g
│ │ │ 7 nodes, 7 edges
│ │ │ connected rec: ✓
│ │ │ provided power_profile ≤ power provided by thermocouple equiv id
│ │ │ _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 id
│ │ │ heat required by thermocouple ≤ heat provided by plutonium_pellet equiv id
│ │ │ mass required by thermocouple ≤ thermocouple_mass provided by _sum equiv id
│ │ ├ _sum: SimpleWrap
│ │ │ │ provides plutonium_pellet_mass SB(≥0) g │ requires _result SB(≥0) g
│ │ │ │ provides thermocouple_mass SB(≥0) g │
│ │ │ └ M_Res_AddMany_DP SB(≥0)×SB(≥0) ⟨g,g⟩ ⇸ SB(≥0) g
│ │ │ 𝒇₁ + 𝒇₂ ≤ 𝒓
│ │ │ ├ Fs: ├ SB(≥0) g
│ │ │ │ └ SB(≥0) g
│ │ │ ├ opspace: SB(≥0) g
│ │ │ └ algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT
│ │ ├ 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: Templatized
│ │ │ provides power SB(≥0) W │ requires heat SB(≥0) W
│ │ │ │ requires mass SB(≥0) g
│ │ │ │ requires cost SB(≥0) USD
│ │ └ DP_True SB(≥0) W ⇸ SB(≥0)×SB(≥0)×SB(≥0) ⟨W,g,USD⟩ val = *
│ │ true
│ │ ()
│ ├ solar: CompositeNDP
│ │ │ provides power_profile SB(≥0) W │ requires mass SB(≥0) g
│ │ │ │ requires cost SB(≥0) USD
│ │ │ │ requires area SB(≥0) m^2
│ │ │ │ requires solar_radiation SB(≥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 id
│ │ │ area required by solar_panels ≤ required area equiv id
│ │ │ cost required by solar_panels ≤ required cost equiv id
│ │ │ mass required by solar_panels ≤ required mass equiv id
│ │ │ solar_radiation required by solar_panels ≤ required solar_radiation equiv id
│ │ ├ _c: SimpleWrap
│ │ │ │ - │ requires _c {0 g}
│ │ │ └ DP_Constant 𝟙 ⇸ {0 g}
│ │ │ 0 g ≤ 𝒓
│ │ └ solar_panels: Templatized
│ │ │ provides power_profile SB(≥0) W │ requires mass SB(≥0) g
│ │ │ │ requires cost SB(≥0) USD
│ │ │ │ requires area SB(≥0) m^2
│ │ │ │ requires solar_radiation SB(≥0) lux
│ │ └ DP_True SB(≥0) W ⇸ WU ⟨g,USD,m^2,lux⟩ val = *
│ │ └ Π<4>
│ │ ├ mass: SB(≥0)
│ │ ├ cost: SB(≥0)
│ │ ├ area: SB(≥0)
│ │ └ solar_radiation: SB(≥0)
│ │ true
│ │ ()
│ ├ battery: CompositeNDP
│ │ │ provides power_profile SB(≥0) W │ requires mass SB(≥0) g
│ │ │ │ requires cost SB(≥0) USD
│ │ │ │ requires area {0 m^2}
│ │ │ │ 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 id
│ │ │ charging_profile required by battery ≤ _l provided by _lim diff DP_GenericConstant SB(≥0) W ⇸ {0 W}
│ │ │ 𝒇 ≤ 0 W
│ │ │ ├ b: ()
│ │ │ ├ lf: LowerSet(maximals=ff❨0E-9❩)
│ │ │ └ ur: UpperSet(minimals=ff❨0E-9❩)
│ │ │ cost required by battery ≤ required cost equiv id
│ │ │ mass required by battery ≤ required mass equiv id
│ │ ├ _c: SimpleWrap
│ │ │ │ - │ requires _c {0 m^2}
│ │ │ └ DP_Constant 𝟙 ⇸ {0 m^2}
│ │ │ 0 m^2 ≤ 𝒓
│ │ ├ _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: Templatized
│ │ │ provides power_profile SB(≥0) W │ requires charging_profile SB(≥0) W
│ │ │ │ requires cost SB(≥0) USD
│ │ │ │ requires mass SB(≥0) g
│ │ └ DP_True SB(≥0) W ⇸ SB(≥0)×SB(≥0)×SB(≥0) ⟨W,USD,g⟩ val = *
│ │ true
│ │ ()
│ └ battery_plus_solar: CompositeNDP
│ │ provides power_profile SB(≥0) W │ requires mass SB(≥0) g
│ │ │ requires cost SB(≥0) USD
│ │ │ requires area SB(≥0) m^2
│ │ │ requires solar_radiation SB(≥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 id
│ │ area required by battery_plus_solar ≤ required area equiv id
│ │ cost required by battery_plus_solar ≤ required cost equiv id
│ │ mass required by battery_plus_solar ≤ required mass equiv id
│ │ solar_radiation required by battery_plus_solar ≤ required solar_radiation equiv id
│ ├ _c: SimpleWrap
│ │ │ - │ requires _c {0 g}
│ │ └ DP_Constant 𝟙 ⇸ {0 g}
│ │ 0 g ≤ 𝒓
│ └ battery_plus_solar: CompositeNDP
│ │ provides power_profile SB(≥0) W │ requires cost SB(≥0) USD
│ │ │ requires mass SB(≥0) g
│ │ │ requires area SB(≥0) m^2
│ │ │ requires solar_radiation SB(≥0) lux
│ │ 9 nodes, 10 edges
│ │ connected rec: ✓
│ │ provided power_profile ≤ power_profile provided by battery equiv id
│ │ _result required by _sum ≤ required cost equiv id
│ │ _result2 required by _sum1 ≤ required mass equiv id
│ │ charging_profile required by battery ≤ power_profile provided by solar_panels equiv id
│ │ cost required by battery ≤ battery_cost provided by _sum equiv id
│ │ mass required by battery ≤ battery_mass provided by _sum1 equiv id
│ │ area required by solar_panels ≤ required area equiv id
│ │ cost required by solar_panels ≤ solar_panels_cost provided by _sum equiv id
│ │ mass required by solar_panels ≤ solar_panels_mass provided by _sum1 equiv id
│ │ solar_radiation required by solar_panels ≤ required solar_radiation equiv id
│ ├ _sum: SimpleWrap
│ │ │ provides battery_cost SB(≥0) USD │ requires _result SB(≥0) USD
│ │ │ provides solar_panels_cost SB(≥0) USD │
│ │ └ M_Res_AddMany_DP SB(≥0)×SB(≥0) ⟨USD,USD⟩ ⇸ SB(≥0) USD
│ │ 𝒇₁ + 𝒇₂ ≤ 𝒓
│ │ ├ Fs: ├ SB(≥0) USD
│ │ │ └ SB(≥0) USD
│ │ ├ opspace: SB(≥0) USD
│ │ └ algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT
│ ├ _sum1: SimpleWrap
│ │ │ provides battery_mass SB(≥0) g │ requires _result2 SB(≥0) g
│ │ │ provides solar_panels_mass SB(≥0) g │
│ │ └ M_Res_AddMany_DP SB(≥0)×SB(≥0) ⟨g,g⟩ ⇸ SB(≥0) g
│ │ 𝒇₁ + 𝒇₂ ≤ 𝒓
│ │ ├ Fs: ├ SB(≥0) g
│ │ │ └ SB(≥0) g
│ │ ├ opspace: SB(≥0) g
│ │ └ algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT
│ ├ battery: Templatized
│ │ │ provides power_profile SB(≥0) W │ requires charging_profile SB(≥0) W
│ │ │ │ requires cost SB(≥0) USD
│ │ │ │ requires mass SB(≥0) g
│ │ └ DP_True SB(≥0) W ⇸ SB(≥0)×SB(≥0)×SB(≥0) ⟨W,USD,g⟩ val = *
│ │ true
│ │ ()
│ └ solar_panels: Templatized
│ │ provides power_profile SB(≥0) W │ requires mass SB(≥0) g
│ │ │ requires cost SB(≥0) USD
│ │ │ requires area SB(≥0) m^2
│ │ │ requires solar_radiation SB(≥0) lux
│ └ DP_True SB(≥0) W ⇸ WU ⟨g,USD,m^2,lux⟩ val = *
│ └ Π<4>
│ ├ mass: SB(≥0)
│ ├ cost: SB(≥0)
│ ├ area: SB(≥0)
│ └ solar_radiation: SB(≥0)
│ true
│ ()
└ 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❩)