1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
/*1:*/
#line 9 "./random.hweb"
#ifndef RANDOM_H
#define RANDOM_H
/*2:*/
#line 22 "./random.hweb"
class RandomGenerator{
public:
virtual double uniform()= 0;
int int_uniform();
double normal();
};
/*:2*/
#line 13 "./random.hweb"
;
/*3:*/
#line 32 "./random.hweb"
class SystemRandomGenerator:public RandomGenerator{
public:
double uniform();
void initSeed(int seed);
};
/*:3*/
#line 14 "./random.hweb"
;
extern SystemRandomGenerator system_random_generator;
#endif
/*:1*/
|
