fleet_2

Editor GitHub dtemkin1libraries bus specs models thingsfleet_2

Editor

Visualization

	`mcdp { provides amount_fleet_2 [car] requires capital_cost [USD] requires num_operators [Nat] # using electric bus analysis from NYC MTA price = 1348000 USD/car person = 1 dimensionless/car required capital_cost >= price * provided amount_fleet_2 required num_operators >= person * provided amount_fleet_2 }`

Diagramremove
Other informationremove

Internal representation details

CompositeNDP                                                                                             
│    provides   amount_fleet_2   SB(≥0) car │ requires   capital_cost    SB(≥0) USD                      
│                                           │ requires   num_operators   SB(≥0::1)                       
│  5 nodes, 4 edges                                                                                      
│   connected rec: ✓                                                                                     
│  provided amount_fleet_2  ≤ _op provided by _mult    equiv id                                          
│  provided amount_fleet_2  ≤ _op provided by _mult1   equiv id                                          
│  _res required by _mult   ≤ required capital_cost    equiv id                                          
│  _res2 required by _mult1 ≤ required num_operators   diff  AmbientConversion SB(≥0)  ⇸  SB(≥0::1)  > D 
│                                                             𝒇 ≤ 𝒓                                      
├  _mult: SimpleWrap                                                                                     
│         │  provides   _op   SB(≥0) car │ requires   _res   SB(≥0) USD                                  
│         └ DP_L_UME SB(≥0) car  ⇸  SB(≥0) USD                                                           
│            𝒇 ⋅ 1348000 ≤ 𝒓                                                                             
│           M_C_WrapUnits   car → USD > M_A_Mult1_Upper   SB(≥0)  →   same x ⟼ x ⋅ 1348000               
└ _mult1: SimpleWrap                                                                                     
          │  provides   _op   SB(≥0) car │ requires   _res2   SB(≥0)                                     
          └ DP_L_UME SB(≥0) car  ⇸  SB(≥0)                                                               
             𝒇 ≤ 𝒓                                                                                       
            M_C_WrapUnits   car → dimensionless > M_Identity   SB(≥0)  →   same x ⟼ x