2024-08-16 17:55:27 +00:00
|
|
|
//
|
|
|
|
|
// Created by dominik on 8/12/24.
|
|
|
|
|
//
|
|
|
|
|
|
|
|
|
|
#ifndef RWSIM_TIMESDELTA_H
|
|
|
|
|
#define RWSIM_TIMESDELTA_H
|
|
|
|
|
|
|
|
|
|
#include "base.h"
|
|
|
|
|
|
|
|
|
|
class DeltaDistribution final : public Distribution {
|
|
|
|
|
public:
|
|
|
|
|
DeltaDistribution(double, std::mt19937_64&);
|
|
|
|
|
explicit DeltaDistribution(std::mt19937_64 &rng);
|
|
|
|
|
|
2024-09-16 17:52:51 +00:00
|
|
|
void initialize() override;
|
2024-08-16 17:55:27 +00:00
|
|
|
void draw_tau() override;
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
#endif //RWSIM_TIMESDELTA_H
|
