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