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