loop3_infeasible

Editor GitHub co-design-modelslibraries lib2-simple specs models thingsloop3_infeasible

Editor

Visualization

	`mcdp { # This is always unfeasible a = instance mcdp { provides f [dimensionless] requires r [dimensionless] provides f2 [Interval(0, 10)] requires r2 [Interval(0, 10)] provided f ≤ required r provided f2 + 1 ≤ required r2 } f2 provided by a ≥ r2 required by a requires r for a provides f using a }`

Diagramremove
Other informationremove

Internal representation details

CompositeNDP                                                                                                       
│    provides   f   SB(≥0) │ requires   r   SB(≥0)                                                                 
│  3 nodes, 3 edges                                                                                                
│   connected rec: ✓                                                                                               
│  provided f       ≤ f provided by a    equiv id                                                                  
│  r required by a  ≤ required r         equiv id                                                                  
│  r2 required by a ≤ f2 provided by a   diff  AmbientConversion SB([1,10]::1)  ⇸  SB([0,10]::1)  > D              
│                                               𝒇 ≤ 𝒓                                                              
└ CompositeNDP                                                                                                     
  │    provides   f    SB(≥0)        │ requires   r    SB(≥0)                                                      
  │    provides   f2   SB([0,10]::1) │ requires   r2   SB([1,10]::1)                                               
  │  5 nodes, 3 edges                                                                                              
  │   connected rec: ✓                                                                                             
  │  provided f             ≤ required r              equiv id                                                     
  │  provided f2            ≤ _op provided by _plus   equiv id                                                     
  │  _res required by _plus ≤ required r2             diff  AmbientConversion SB([1,11]::1)  ⇸  SB([1,10]::1)  > D 
  │                                                          𝒇 ≤ 𝒓                                                 
  └ SimpleWrap                                                                                                     
    │  provides   _op   SB([0,10]::1) │ requires   _res   SB([1,11]::1)                                            
    └ DP_L_UME SB([0,10]::1)  ⇸  SB([1,11]::1)                                                                     
       𝒇 + 1 ≤ 𝒓                                                                                                   
      └ M_C_WrapUnits   dimensionless → dimensionless                                                              
        M_A_Add1_Upper   SB([0,10]::1)  →  SB([1,11]::1) x ⟼ x + 1