2024-08-16 19:55:27 +02:00
|
|
|
//
|
|
|
|
// Created by dominik on 8/12/24.
|
|
|
|
//
|
|
|
|
|
|
|
|
#include "random.h"
|
|
|
|
|
|
|
|
|
2024-11-09 17:59:37 +01:00
|
|
|
RandomJump::RandomJump(const double delta, const double eta, std::mt19937_64 &rng) : Motion(std::string("Random Jump"), delta, eta, rng) {}
|
2024-08-16 19:55:27 +02:00
|
|
|
|
2024-11-09 17:59:37 +01:00
|
|
|
RandomJump::RandomJump(std::mt19937_64 &rng) : Motion(std::string("Random Jump"), rng) {}
|
2024-08-16 19:55:27 +02:00
|
|
|
|
2024-08-18 13:21:27 +02:00
|
|
|
void RandomJump::initialize() {}
|
|
|
|
|
2024-08-16 19:55:27 +02:00
|
|
|
double RandomJump::jump() {
|
2024-08-23 18:33:38 +02:00
|
|
|
return omega_q(draw_position());
|
2024-08-16 19:55:27 +02:00
|
|
|
}
|