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