cross2d_operator([x1, y1, x2, y2, exp])
|
|
distance_operator(left, right)
|
|
distance_to_point_operator(robot, target_x, ...)
|
|
dot2d_operator([x1, y1, x2, y2, exp])
|
|
expand_distribution_expressions(expression, *)
|
Traverse the expression and substitute each distribution with n expressions. |
expand_expression(expression, jani_constants)
|
|
intersection_operator(left, right)
|
|
norm2d_operator([x, y, exp])
|
|
random_operator()
|
Function to get a random number between 0 and 1 in the Jani Model. |
round_operator([value, exp])
|
|
to_cm_operator([value, exp])
|
|
to_deg_operator([value, exp])
|
|
to_m_operator([value, exp])
|
|
to_rad_operator([value, exp])
|
|