2024-08-16 17:55:27 +00:00
|
|
|
//
|
|
|
|
|
// Created by dominik on 8/12/24.
|
|
|
|
|
//
|
|
|
|
|
|
|
|
|
|
#ifndef RWSIM_MOTIONRANDOMJUMP_H
|
|
|
|
|
#define RWSIM_MOTIONRANDOMJUMP_H
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#include "base.h"
|
|
|
|
|
#include <random>
|
|
|
|
|
class RandomJump final : public Motion {
|
|
|
|
|
public:
|
|
|
|
|
RandomJump(double, double, std::mt19937_64&);
|
|
|
|
|
explicit RandomJump(std::mt19937_64&);
|
|
|
|
|
|
2024-08-18 11:21:27 +00:00
|
|
|
void initialize() override;
|
2024-08-16 17:55:27 +00:00
|
|
|
double jump() override;
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
#endif //RWSIM_MOTIONRANDOMJUMP_H
|
