53d52
<
55,59d53
< * Initialise the state of the system.
< */
< virtual void initState();
<
< /**
87a82,83
> Tick intrFreq;
>
106a103,105
>
> public:
> void setIntrFreq(Tick freq) { intrFreq = freq; }