e06_addr

Editor GitHub co-design-modelslibraries lib1-parts specs models thingse06_addr

Editor

Visualization

	`mcdp { requires r[dimensionless] provides f[dimensionless] provided f <= required r + 10 }`

Diagramremove
Other informationremove

Internal representation details

CompositeNDP                                                                                      
│    provides   f   SB(≥10) │ requires   r   SB(≥0)                                               
│  3 nodes, 2 edges                                                                               
│   connected rec: ✓                                                                              
│  provided f                 ≤ _res provided by _invplusop   equiv id                            
│  _op required by _invplusop ≤ required r                    equiv id                            
└ SimpleWrap                                                                                      
  │  provides   _res   SB(≥10) │ requires   _op   SB(≥0)                                          
  └ DP_L_LME SB(≥10)  ⇸  SB(≥0)                                                                   
     𝒇 ≤ 𝒓 + 10                                                                                   
    M_C_WrapUnits   dimensionless → dimensionless > M_A_Add1_Lower   SB(≥0)  →  SB(≥10) x ⟼ x + 10