plusinv2

Editor GitHub co-design-modelslibraries example_plusinv specs models thingsplusinv2
Editor
Visualization
	`mcdp { provides a [dimensionless] requires x [dimensionless] requires y [dimensionless] requires z [dimensionless] required x + required y · required z ≽ provided a b = instance mcdp { } }`
Diagramremove
Other informationremove
Internal representation details
CompositeNDP                                                                               
│    provides   a   SB(≥0) │ requires   x   SB(≥0)                                         
│                          │ requires   y   SB(≥0)                                         
│                          │ requires   z   SB(≥0)                                         
│  7 nodes, 5 edges                                                                        
│   connected rec: ✓                                                                       
│  provided a                   ≤ _result provided by _invplus   equiv id                  
│  y required by _invmult       ≤ required y                     equiv id                  
│  z required by _invmult       ≤ required z                     equiv id                  
│  _result required by _invplus ≤ _result provided by _invmult   equiv id                  
│  x required by _invplus       ≤ required x                     equiv id                  
├ _invmult: SimpleWrap                                                                     
│           │  provides   _result   SB(≥0) │ requires   y   SB(≥0)                         
│           │                              │ requires   z   SB(≥0)                         
│           └ M_Fun_MultiplyMany_DP SB(≥0)  ⇸  WU ⟨dimensionless,dimensionless⟩            
│                                              (SB(≥0)×SB(≥0))                             
│              𝒇 ≤ 𝒓₁⋅𝒓₂                                                                   
│             ├   Rs: ├ SB(≥0)                                                             
│             │       └ SB(≥0)                                                             
│             └ algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT     
├ _invplus: SimpleWrap                                                                     
│           │  provides   _result   SB(≥0) │ requires   x         SB(≥0)                   
│           │                              │ requires   _result   SB(≥0)                   
│           └ M_Fun_AddMany_DP SB(≥0)  ⇸  WU ⟨dimensionless,dimensionless⟩                 
│                                         (x:SB(≥0)×_result:SB(≥0))                        
│              𝒇 ≤ 𝒓₁ + 𝒓₂                                                                 
│             ├   opspace: SB(≥0)                                                          
│             ├        Rs: ├ SB(≥0)                                                        
│             │            └ SB(≥0)                                                        
│             ├ Rs_labels: ├ x                                                             
│             │            └ _result                                                       
│             └      algo: ApproximationAlgorithms - ApproximationAlgorithms.VAN_DER_CORPUT
└        b: CompositeNDP                                                                   
            │  0 nodes, 0 edges                                                            
            │   connected rec: ✓                                                           
            │  no connections