17INLINE RecorderHeader::
20 _random_seed = (int)_start_time;
26INLINE RecorderHeader::
28 _start_time(copy._start_time),
29 _random_seed(copy._random_seed)
36INLINE
void RecorderHeader::
38 _start_time = copy._start_time;
39 _random_seed = copy._random_seed;
45INLINE RecorderHeader::