tax

Editor GitHub daydemirlibraries urban_space specs models thingstax

Editor

Visualization

	`mcdp { provides cost_yearly [$] requires tax_burden [$] taxpayer_count = 10000 [Nat] maintenance_budget = 1000 [$] required tax_burden * taxpayer_count >= (provided cost_yearly - maintenance_budget) }`

Diagramremove
Other informationremove

Internal representation details

CompositeNDP                                                                  
│    provides   cost_yearly   SB(≥0) $ │ requires   tax_burden   SB(≥0) $     
│  3 nodes, 1 edges                                                           
│   connected rec: ✓                                                          
│  provided cost_yearly ≤ _op provided by _minusvalue   equiv id              
│  Unconnected func:                                                          
│   {CFunction(dp='_res_tax_burden', s='tax_burden')}                         
│  Unconnected res:                                                           
│   {CResource(dp='_minusvalue', s='_result')}                                
└ SimpleWrap                                                                  
  │  provides   _op   SB(≥0) $ │ requires   _result   SB(≥-1000) $            
  └ DP_L_UME SB(≥0) $  ⇸  SB(≥-1000) $                                        
     𝒇 - 1000 ≤ 𝒓                                                             
    M_C_WrapUnits   $ → $ > M_A_Sub_Upper   SB(≥0)  →  SB(≥-1000) x ⟼ x - 1000