approval

Editor GitHub mit-zardini-lablibraries urban_space specs models thingsapproval

Editor

Visualization

mcdp { provides community_approval [dimensionless] provides acceptable_tax_burden [$] provides acceptable_co2_impact_yearly [Nat] requires greenery [dimensionless] requires accessibility [dimensionless] # greenery and accessibility are normalized to be between 0 and 1 quality = required greenery * required accessibility disapproval_per_co2_kg = 0.001 [dimensionless] co2_disapproval = disapproval_per_co2_kg * provided acceptable_co2_impact_yearly disapproval_per_dollar = 0.05 [dimensionless/$] tax_disapproval = disapproval_per_dollar * provided acceptable_tax_burden provided community_approval + tax_disapproval + co2_disapproval <= quality }

Diagramremove
Other informationremove

Internal representation details

CompositeNDP                                                                                     
│    provides   community_approval             SB(≥0)    │ requires   greenery        SB(≥0)     
│    provides   acceptable_tax_burden          SB(≥0) $  │ requires   accessibility   SB(≥0)     
│    provides   acceptable_co2_impact_yearly   SB(≥0::1) │                                       
│  9 nodes, 8 edges                                                                              
│   connected rec: ✓                                                                             
│  provided acceptable_co2_impact_yearly ≤ _op provided by _mult                 equiv id        
│  provided acceptable_tax_burden        ≤ _op provided by _mult1                equiv id        
│  provided community_approval           ≤ community_approval provided by _sum   equiv id        
│  accessibility required by _invmult    ≤ required accessibility                equiv id        
│  greenery required by _invmult         ≤ required greenery                     equiv id        
│  _res required by _mult                ≤ co2_disapproval provided by _sum      equiv id        
│  _res2 required by _mult1              ≤ tax_disapproval provided by _sum      equiv id        
│  _result required by _sum              ≤ _result provided by _invmult          equiv id        
├ _invmult: SimpleWrap                                                                           
│           │  provides   _result   SB(≥0) │ requires   greenery        SB(≥0)                   
│           │                              │ requires   accessibility   SB(≥0)                   
│           └ M_Fun_MultiplyMany_DP SB(≥0)  ⇸  WU ⟨dimensionless,dimensionless⟩                  
│                                              (SB(≥0)×SB(≥0))                                   
│              𝒇 ≤ 𝒓₁⋅𝒓₂                                                                         
│             ├   Rs: ├ SB(≥0)                                                                   
│             │       └ SB(≥0)                                                                   
│             └ algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT           
├    _mult: SimpleWrap                                                                           
│           │  provides   _op   SB(≥0::1) │ requires   _res   SB(≥0::0.001)                      
│           └ DP_L_UME SB(≥0::1)  ⇸  SB(≥0::0.001)                                               
│              𝒇 ⋅ 0.001 ≤ 𝒓                                                                     
│             └ M_C_WrapUnits   dimensionless → dimensionless                                    
│               M_A_Mult1_Upper   SB(≥0::1)  →  SB(≥0::0.001) x ⟼ x ⋅ 0.001                      
├   _mult1: SimpleWrap                                                                           
│           │  provides   _op   SB(≥0) $ │ requires   _res2   SB(≥0)                             
│           └ DP_L_UME SB(≥0) $  ⇸  SB(≥0)                                                       
│              𝒇 ⋅ 0.05 ≤ 𝒓                                                                      
│             M_C_WrapUnits   $ → dimensionless > M_A_Mult1_Upper   SB(≥0)  →   same x ⟼ x ⋅ 0.05
└     _sum: SimpleWrap                                                                           
            │  provides   community_approval   SB(≥0)        │ requires   _result   SB(≥0)       
            │  provides   tax_disapproval      SB(≥0)        │                                   
            │  provides   co2_disapproval      SB(≥0::0.001) │                                   
            └ M_Res_AddMany_DP WU ⟨dimensionless,dimensionless,dimensionless⟩  ⇸  SB(≥0)         
                               └ Π<3>                                                            
                                 ├ SB(≥0)                                                        
                                 ├ SB(≥0)                                                        
                                 └ SB(≥0::0.001)                                                 
               𝒇₁ + 𝒇₂ + 𝒇₃ ≤ 𝒓                                                                  
              ├      Fs: ├ SB(≥0)                                                                
              │          ├ SB(≥0)                                                                
              │          └ SB(≥0::0.001)                                                         
              ├ opspace: SB(≥0)                                                                  
              └    algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT