rgrobots1

Editor GitHub co-design-modelslibraries robogrammar specs models thingsrgrobots1

Editor

Visualization

	`catalogue { provides max_slope [deg] provides linear_velocity [m/s] provides angular_velocity [deg/s] provides payload [g] requires power [W] requires num_components [Nat] requires num_high_power_motors [Nat] requires num_low_power_motors [Nat] 0 deg, 0 m/s, 0 deg/s, 0 g <--\| null_robot \|--> 0 W, 0, 0, 0 }`

Diagramremove
Other informationremove

Internal representation details

SimpleWrap                                                                                              
│  provides   max_slope          {0 deg}   │ requires   power                   {0 W}                   
│  provides   linear_velocity    {0 m/s}   │ requires   num_components          {0}                     
│  provides   angular_velocity   {0 deg/s} │ requires   num_high_power_motors   {0}                     
│  provides   payload            {0 g}     │ requires   num_low_power_motors    {0}                     
└ DP_GenericConstant {⟨0,0,0,0⟩ ⟨deg,m/s,deg/s,g⟩}  ⇸  WU ⟨W,dimensionless,dimensionless,dimensionless⟩ 
                                                       └ Π<4>                                           
                                                         ├                 power: SB(0)                 
                                                         ├        num_components: SB(0)                 
                                                         ├ num_high_power_motors: SB(0)                 
                                                         └  num_low_power_motors: SB(0)                 
   true                                                                                                 
  ├  b: null_robot                                                                                      
  ├ lf: LowerSet(maximals=ff❨⟨0E-9,0E-9,0E-9,0E-9⟩❩)                                                    
  └ ur: UpperSet(minimals=ff❨⟨0E-9,0E-9,0E-9,0E-9⟩❩)