fleet

Editor GitHub dtemkin1libraries bus specs models thingsfleet
Editor
Visualization
mcdp { provides amount_fleet_1 [car] provides amount_fleet_2 [car] requires num_operators [ℕ] requires capital_cost [$] fleet_1 = instance `fleet_1 fleet_2 = instance `fleet_2 required capital_cost >= capital_cost required by fleet_1 + capital_cost required by fleet_2 required num_operators >= num_operators required by fleet_1 + num_operators required by fleet_2 provided amount_fleet_1 <= amount_fleet_1 provided by fleet_1 provided amount_fleet_2 <= amount_fleet_2 provided by fleet_2 }
Diagramremove
Other informationremove
Internal representation details
CompositeNDP                                                                                                        
│    provides   amount_fleet_1   SB(≥0) car │ requires   num_operators   SB(≥0::1)                                  
│    provides   amount_fleet_2   SB(≥0) car │ requires   capital_cost    SB(≥0) USD                                 
│  8 nodes, 8 edges                                                                                                 
│   connected rec: ✓                                                                                                
│  provided amount_fleet_1           ≤ amount_fleet_1 provided by fleet_1        equiv id                           
│  provided amount_fleet_2           ≤ amount_fleet_2 provided by fleet_2        equiv id                           
│  _result required by _sum          ≤ required capital_cost                     equiv id                           
│  _result2 required by _sum1        ≤ required num_operators                    equiv id                           
│  capital_cost required by fleet_1  ≤ fleet_1_capital_cost provided by _sum     equiv id                           
│  num_operators required by fleet_1 ≤ fleet_1_num_operators provided by _sum1   equiv id                           
│  capital_cost required by fleet_2  ≤ fleet_2_capital_cost provided by _sum     equiv id                           
│  num_operators required by fleet_2 ≤ fleet_2_num_operators provided by _sum1   equiv id                           
├    _sum: SimpleWrap                                                                                               
│          │  provides   fleet_1_capital_cost   SB(≥0) USD │ requires   _result   SB(≥0) USD                        
│          │  provides   fleet_2_capital_cost   SB(≥0) USD │                                                        
│          └ M_Res_AddMany_DP SB(≥0)×SB(≥0) ⟨USD,USD⟩  ⇸  SB(≥0) USD                                                
│             𝒇₁ + 𝒇₂ ≤ 𝒓                                                                                           
│            ├      Fs: ├ SB(≥0) USD                                                                                
│            │          └ SB(≥0) USD                                                                                
│            ├ opspace: SB(≥0) USD                                                                                  
│            └    algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT                            
├   _sum1: SimpleWrap                                                                                               
│          │  provides   fleet_1_num_operators   SB(≥0::1) │ requires   _result2   SB(≥0::1)                        
│          │  provides   fleet_2_num_operators   SB(≥0::1) │                                                        
│          └ M_Res_AddMany_DP WU ⟨dimensionless,dimensionless⟩  ⇸  SB(≥0::1)                                        
│                             (SB(≥0::1)×SB(≥0::1))                                                                 
│             𝒇₁ + 𝒇₂ ≤ 𝒓                                                                                           
│            ├      Fs: ├ SB(≥0::1)                                                                                 
│            │          └ SB(≥0::1)                                                                                 
│            ├ opspace: SB(≥0::1)                                                                                   
│            └    algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT                            
├ fleet_1: CompositeNDP                                                                                             
│          │    provides   amount_fleet_1   SB(≥0) car │ requires   capital_cost    SB(≥0) USD                      
│          │                                           │ requires   num_operators   SB(≥0::1)                       
│          │  5 nodes, 4 edges                                                                                      
│          │   connected rec: ✓                                                                                     
│          │  provided amount_fleet_1  ≤ _op provided by _mult    equiv id                                          
│          │  provided amount_fleet_1  ≤ _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                                                           
│          │            𝒇 ⋅ 1180000 ≤ 𝒓                                                                             
│          │           M_C_WrapUnits   car → USD > M_A_Mult1_Upper   SB(≥0)  →   same x ⟼ x ⋅ 1180000               
│          └ _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                    
└ fleet_2: 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