loop

Editor GitHub HuangYujun-JunkyTalentlibraries residency specs models thingsloop

Editor

Visualization

mcdp { # Functionalities provides budget [USD] # Resources requires num_residents [Nat] requires num_patients_seen [1/week] # Constants res_extra = 60000 [USD] # additional budget per resident graduated (per year) patient_extra = 250 [USD] # addtional budget per patient seen num_weeks = 48 [week] # Constraints provided budget ≤ res_extra* required num_residents + patient_extra * required num_patients_seen * num_weeks }

Diagramremove
Other informationremove

Internal representation details

CompositeNDP                                                                                                 
│    provides   budget   SB(≥0) USD │ requires   num_residents       SB(≥0::1)                               
│                                   │ requires   num_patients_seen   SB(≥0) 1/week                           
│  6 nodes, 5 edges                                                                                          
│   connected rec: ✓                                                                                         
│  provided budget                             ≤ _result provided by _invplus         equiv id               
│  _op required by _invmultvalue               ≤ required num_residents               equiv id               
│  _op required by _invmultvalue1              ≤ required num_patients_seen           equiv id               
│  _invmultvalue1__result required by _invplus ≤ _result provided by _invmultvalue1   equiv id               
│  _invmultvalue__result required by _invplus  ≤ _result provided by _invmultvalue    equiv id               
├  _invmultvalue: SimpleWrap                                                                                 
│                 │  provides   _result   SB(≥0::60000) USD │ requires   _op   SB(≥0::1)                     
│                 └ DP_L_LME SB(≥0::60000) USD  ⇸  SB(≥0::1)                                                 
│                    𝒇 ≤ 𝒓 ⋅ 60000                                                                           
│                   └ M_C_WrapUnits   dimensionless → USD                                                    
│                     M_A_Mult1_Lower   SB(≥0::1)  →  SB(≥0::60000) x ⟼ x ⋅ 60000                            
├ _invmultvalue1: SimpleWrap                                                                                 
│                 │  provides   _result   SB(≥0) USD │ requires   _op   SB(≥0) 1/week                        
│                 └ DP_L_LME SB(≥0) USD  ⇸  SB(≥0) 1/week                                                    
│                    𝒇 ≤ 𝒓 ⋅ 12000                                                                           
│                   M_C_WrapUnits   1/week → USD > M_A_Mult1_Lower   SB(≥0)  →   same x ⟼ x ⋅ 12000          
└       _invplus: SimpleWrap                                                                                 
                  │  provides   _result   SB(≥0) USD │ requires   _invmultvalue__result    SB(≥0::60000) USD 
                  │                                  │ requires   _invmultvalue1__result   SB(≥0) USD        
                  └ M_Fun_AddMany_DP SB(≥0) USD  ⇸  SB(≥0::60000)×SB(≥0) ⟨USD,USD⟩                           
                     𝒇 ≤ 𝒓₁ + 𝒓₂                                                                             
                    ├   opspace: SB(≥0) USD                                                                  
                    ├        Rs: ├ SB(≥0::60000) USD                                                         
                    │            └ SB(≥0) USD                                                                
                    ├ Rs_labels: ├ ├ _invmultvalue                                                           
                    │            │ └ _result                                                                 
                    │            └ ├ _invmultvalue1                                                          
                    │              └ _result                                                                 
                    └      algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT