/// <summary> /// Saves the current state in a checkpoint file /// </summary> /// <param name="writer"></param> public override void SaveState(ManagedRSLCheckpointStream stream) { foreach (UInt32 i in _state) { Byte[] buffer = System.BitConverter.GetBytes(i); stream.Write(buffer, 0, buffer.Length); } }
public override void SaveState(ManagedRSLCheckpointStream writer) { byte[] score = BitConverter.GetBytes(m_score); for (int i = 0; i < score.Length; i++) { m_state[i] = score[i]; } try { writer.Write(m_state, 0, m_size); } catch (IOException ioe) { Console.WriteLine("Error: " + ioe); } }
public override void SaveState(ManagedRSLCheckpointStream stream) { Console.WriteLine(this.Self.MemberId + ".SaveState"); Byte[] buffer = System.BitConverter.GetBytes(this.InternalState); stream.Write(buffer, 0, buffer.Length); }