|
Editor |
Visualization |
||||
|
Internal representation detailsNamedDPCoproduct ├ 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: ✓ │ │ cost required by _constant ≤ required cost equiv (always satisfied) │ │ mass required by _constant1 ≤ required mass equiv (always satisfied) │ │ heat required by _constant2 ≤ required heat equiv (always satisfied) │ │ provided power ≤ power 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 heat {0 W} │ │ └ DP_Constant 𝟙 ⇸ {0 W} │ │ 0 W ≤ 𝒓 │ └ _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: ✓ │ │ mass required by _constant ≤ required mass equiv (always satisfied) │ │ area required by _constant1 ≤ required area equiv (always satisfied) │ │ solar_radiation required by _constant2 ≤ required solar_radiation equiv (always satisfied) │ │ cost required by _constant3 ≤ required cost equiv (always satisfied) │ │ provided power_profile ≤ power_profile provided by _limit equiv (always satisfied) │ ├ _constant: SimpleWrap │ │ │ - │ requires mass {0 g} │ │ └ DP_Constant 𝟙 ⇸ {0 g} │ │ 0 g ≤ 𝒓 │ ├ _constant1: SimpleWrap │ │ │ - │ requires area {0 m²} │ │ └ DP_Constant 𝟙 ⇸ {0 m²} │ │ 0 m² ≤ 𝒓 │ ├ _constant2: SimpleWrap │ │ │ - │ requires solar_radiation {0 lux} │ │ └ DP_Constant 𝟙 ⇸ {0 lux} │ │ 0 lux ≤ 𝒓 │ ├ _constant3: SimpleWrap │ │ │ - │ requires cost {0 USD} │ │ └ DP_Constant 𝟙 ⇸ {0 USD} │ │ 0 USD ≤ 𝒓 │ └ _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: ✓ │ │ mass required by _constant ≤ required mass equiv (always satisfied) │ │ charging_profile required by _constant1 ≤ required charging_profile equiv (always satisfied) │ │ cost required by _constant2 ≤ required cost equiv (always satisfied) │ │ provided power_profile ≤ power_profile provided by _limit equiv (always satisfied) │ ├ _constant: SimpleWrap │ │ │ - │ requires mass {0 g} │ │ └ DP_Constant 𝟙 ⇸ {0 g} │ │ 0 g ≤ 𝒓 │ ├ _constant1: SimpleWrap │ │ │ - │ requires charging_profile {0 W} │ │ └ DP_Constant 𝟙 ⇸ {0 W} │ │ 0 W ≤ 𝒓 │ ├ _constant2: SimpleWrap │ │ │ - │ requires cost {0 USD} │ │ └ DP_Constant 𝟙 ⇸ {0 USD} │ │ 0 USD ≤ 𝒓 │ └ _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: ✓ │ │ mass required by _constant ≤ required mass equiv (always satisfied) │ │ charging_profile required by _constant1 ≤ required charging_profile equiv (always satisfied) │ │ cost required by _constant2 ≤ required cost equiv (always satisfied) │ │ provided power_profile ≤ power_profile provided by _limit equiv (always satisfied) │ ├ _constant: SimpleWrap │ │ │ - │ requires mass {0 g} │ │ └ DP_Constant 𝟙 ⇸ {0 g} │ │ 0 g ≤ 𝒓 │ ├ _constant1: SimpleWrap │ │ │ - │ requires charging_profile {0 W} │ │ └ DP_Constant 𝟙 ⇸ {0 W} │ │ 0 W ≤ 𝒓 │ ├ _constant2: SimpleWrap │ │ │ - │ requires cost {0 USD} │ │ └ DP_Constant 𝟙 ⇸ {0 USD} │ │ 0 USD ≤ 𝒓 │ └ _limit: SimpleWrap │ │ provides power_profile {∞ W} │ - │ └ DP_Limit {∞ W} ⇸ 𝟙 > NVU:∞ W │ 𝒇 ≤ ∞ 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: ✓ │ mass required by _constant ≤ required mass equiv (always satisfied) │ area required by _constant1 ≤ required area equiv (always satisfied) │ solar_radiation required by _constant2 ≤ required solar_radiation equiv (always satisfied) │ cost required by _constant3 ≤ required cost equiv (always satisfied) │ provided power_profile ≤ power_profile provided by _limit equiv (always satisfied) ├ _constant: SimpleWrap │ │ - │ requires mass {0 g} │ └ DP_Constant 𝟙 ⇸ {0 g} │ 0 g ≤ 𝒓 ├ _constant1: SimpleWrap │ │ - │ requires area {0 m²} │ └ DP_Constant 𝟙 ⇸ {0 m²} │ 0 m² ≤ 𝒓 ├ _constant2: SimpleWrap │ │ - │ requires solar_radiation {0 lux} │ └ DP_Constant 𝟙 ⇸ {0 lux} │ 0 lux ≤ 𝒓 ├ _constant3: SimpleWrap │ │ - │ requires cost {0 USD} │ └ DP_Constant 𝟙 ⇸ {0 USD} │ 0 USD ≤ 𝒓 └ _limit: SimpleWrap │ provides power_profile {∞ W} │ - └ DP_Limit {∞ W} ⇸ 𝟙 > NVU:∞ W 𝒇 ≤ ∞ W |
||||