e07_ceil

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

Editor

Visualization

	`mcdp { provides f[dimensionless] requires r[ℕ] ceil(provided f) ≤ required r }`

Diagramremove
Other informationremove

Internal representation details

CompositeNDP                                                                       
│    provides   f   SB(≥0) │ requires   r   SB(≥0::1)                              
│  3 nodes, 2 edges                                                                
│   connected rec: ✓                                                               
│  _res required by _RuleResCeil_NWU ≤ required r                         equiv id 
│  provided f                        ≤ _op provided by _RuleResCeil_NWU   equiv id 
└ SimpleWrap                                                                       
  │  provides   _op   SB(≥0) │ requires   _res   SB(≥0::1)                         
  └ DP_L_UME SB(≥0)  ⇸  SB(≥0::1)                                                  
     ceil(𝒇) ≤ 𝒓                                                                   
    └ M_C_WrapUnits   dimensionless → dimensionless                                
      M_A_RoundUp   SB(≥0)  →  SB(≥0::1) x ⟼ ceil(x)