CompositeNDP
│ provides force {∞ N} │ requires mass {20 g}
│ │ requires budget {1 USD}
│ │ requires electric_power {0 W}
│ 11 nodes, 16 edges
│ connected rec: ✓
│ _c required by _c ≤ _c provided by _conversion equiv (always satisfied)
│ velocity required by _conversion ≤ velocity provided by gears equiv (always satisfied)
│ provided force ≤ force provided by gears equiv (always satisfied)
│ _result required by _sum ≤ required mass equiv (always satisfied)
│ _result2 required by _sum1 ≤ required budget equiv (always satisfied)
│ budget required by gears ≤ gears_budget provided by _sum1 equiv (always satisfied)
│ mass required by gears ≤ gears_mass provided by _sum equiv (always satisfied)
│ torque required by gears ≤ torque_o provided by transmission diff (always satisfied)
│ velocity required by gears ≤ velocity_o provided by transmission diff (always satisfied)
│ budget required by motor ≤ motor_budget provided by _sum1 equiv (always satisfied)
│ electric_power required by motor ≤ required electric_power equiv (always satisfied)
│ mass required by motor ≤ motor_mass provided by _sum equiv (always satisfied)
│ budget required by transmission ≤ transmission_budget provided by _sum1 equiv (always satisfied)
│ mass required by transmission ≤ transmission_mass provided by _sum equiv (always satisfied)
│ torque_i required by transmission ≤ torque provided by motor diff (always satisfied)
│ velocity_i required by transmission ≤ velocity provided by motor diff (always satisfied)
├ _c: SimpleWrap
│ │ - │ requires _c {3 mm/s}
│ └ DP_Constant 𝟙 ⇸ {3 mm/s}
│ 3 mm/s ≤ 𝒓
├ _conversion: SimpleWrap
│ │ provides _c {3 mm/s} │ requires velocity {∞ m/s}
│ └ DP_True {3 mm/s} ⇸ {∞ m/s} val = * > ()
│ true
├ _sum: SimpleWrap
│ │ provides gears_mass {0 g} │ requires _result {20 g}
│ │ provides motor_mass {0 g} │
│ │ provides transmission_mass {20 g} │
│ └ DP_True {⟨0,0,20⟩ ⟨g,g,g⟩} ⇸ {20 g} val = * > ()
│ true
├ _sum1: SimpleWrap
│ │ provides gears_budget {0 USD} │ requires _result2 {1 USD}
│ │ provides motor_budget {0 USD} │
│ │ provides transmission_budget {1 USD} │
│ └ DP_True {⟨0,0,1⟩ ⟨USD,USD,USD⟩} ⇸ {1 USD} val = * > ()
│ true
├ gears: CompositeNDP
│ │ provides force {∞ N} │ requires torque {0 N*m}
│ │ provides velocity {∞ m/s} │ requires velocity {0 rad/s}
│ │ │ requires mass {0 g}
│ │ │ requires budget {0 USD}
│ │ 12 nodes, 6 edges
│ │ connected rec: ✓
│ │ velocity required by _constant ≤ required velocity equiv (always satisfied)
│ │ mass required by _constant1 ≤ required mass equiv (always satisfied)
│ │ torque required by _constant2 ≤ required torque equiv (always satisfied)
│ │ budget required by _constant3 ≤ required budget equiv (always satisfied)
│ │ provided force ≤ force provided by _limit equiv (always satisfied)
│ │ provided velocity ≤ velocity provided by _limit1 equiv (always satisfied)
│ ├ _constant: SimpleWrap
│ │ │ - │ requires velocity {0 rad/s}
│ │ └ DP_Constant 𝟙 ⇸ {0 rad/s}
│ │ 0 rad/s ≤ 𝒓
│ ├ _constant1: SimpleWrap
│ │ │ - │ requires mass {0 g}
│ │ └ DP_Constant 𝟙 ⇸ {0 g}
│ │ 0 g ≤ 𝒓
│ ├ _constant2: SimpleWrap
│ │ │ - │ requires torque {0 N*m}
│ │ └ DP_Constant 𝟙 ⇸ {0 N*m}
│ │ 0 N*m ≤ 𝒓
│ ├ _constant3: SimpleWrap
│ │ │ - │ requires budget {0 USD}
│ │ └ DP_Constant 𝟙 ⇸ {0 USD}
│ │ 0 USD ≤ 𝒓
│ ├ _limit: SimpleWrap
│ │ │ provides force {∞ N} │ -
│ │ └ DP_Limit {∞ N} ⇸ 𝟙 > NVU:∞ N
│ │ 𝒇 ≤ ∞ N
│ └ _limit1: SimpleWrap
│ │ provides velocity {∞ m/s} │ -
│ └ DP_Limit {∞ m/s} ⇸ 𝟙 > NVU:∞ m/s
│ 𝒇 ≤ ∞ m/s
├ motor: CompositeNDP
│ │ provides torque {∞ N*m} │ requires electric_power {0 W}
│ │ provides velocity {∞ rad/s} │ requires mass {0 g}
│ │ │ requires budget {0 USD}
│ │ 10 nodes, 5 edges
│ │ connected rec: ✓
│ │ electric_power required by _constant ≤ required electric_power equiv (always satisfied)
│ │ mass required by _constant1 ≤ required mass equiv (always satisfied)
│ │ budget required by _constant2 ≤ required budget equiv (always satisfied)
│ │ provided torque ≤ torque provided by _limit equiv (always satisfied)
│ │ provided velocity ≤ velocity provided by _limit1 equiv (always satisfied)
│ ├ _constant: SimpleWrap
│ │ │ - │ requires electric_power {0 W}
│ │ └ DP_Constant 𝟙 ⇸ {0 W}
│ │ 0 W ≤ 𝒓
│ ├ _constant1: SimpleWrap
│ │ │ - │ requires mass {0 g}
│ │ └ DP_Constant 𝟙 ⇸ {0 g}
│ │ 0 g ≤ 𝒓
│ ├ _constant2: SimpleWrap
│ │ │ - │ requires budget {0 USD}
│ │ └ DP_Constant 𝟙 ⇸ {0 USD}
│ │ 0 USD ≤ 𝒓
│ ├ _limit: SimpleWrap
│ │ │ provides torque {∞ N*m} │ -
│ │ └ DP_Limit {∞ N*m} ⇸ 𝟙 > NVU:∞ N*m
│ │ 𝒇 ≤ ∞ N*m
│ └ _limit1: SimpleWrap
│ │ provides velocity {∞ rad/s} │ -
│ └ DP_Limit {∞ rad/s} ⇸ 𝟙 > NVU:∞ rad/s
│ 𝒇 ≤ ∞ rad/s
└ transmission: CompositeNDP
│ provides torque_o SB(≥0) N*m │ requires torque_i SB(≥0) J
│ provides velocity_o SB(≥0) rad/s │ requires velocity_i SB(≥0) rad/s
│ │ requires mass {20 g}
│ │ requires budget {1 USD}
│ 10 nodes, 6 edges
│ connected rec: ✓
│ _c required by _c ≤ required mass equiv (always satisfied)
│ _c2 required by _c2 ≤ required budget equiv (always satisfied)
│ _res required by _divr ≤ required velocity_i equiv id
│ provided torque_o ≤ _op provided by _mult equiv id
│ provided velocity_o ≤ _op provided by _divr equiv id
│ _res2 required by _mult ≤ required torque_i equiv id
├ _c: SimpleWrap
│ │ - │ requires _c {20 g}
│ └ DP_Constant 𝟙 ⇸ {20 g}
│ 20 g ≤ 𝒓
├ _c2: SimpleWrap
│ │ - │ requires _c2 {1 USD}
│ └ DP_Constant 𝟙 ⇸ {1 USD}
│ 1 USD ≤ 𝒓
├ _divr: SimpleWrap
│ │ provides _op SB(≥0) rad/s │ requires _res SB(≥0) rad/s
│ └ DP_L_UME SB(≥0) rad/s ⇸ SB(≥0) rad/s
│ 𝒇 / 0.5 ≤ 𝒓
│ M_C_WrapUnits rad/s → rad/s > M_A_Divide1_Upper SB(≥0) → same x ⟼ x / 0.5
└ _mult: SimpleWrap
│ provides _op SB(≥0) N*m │ requires _res2 SB(≥0) J
└ DP_L_UME SB(≥0) N*m ⇸ SB(≥0) J
𝒇 ⋅ 0.495 ≤ 𝒓
M_C_WrapUnits N*m → J > M_A_Mult1_Upper SB(≥0) → same x ⟼ x ⋅ 0.495