/// <summary>
/// Determines whether the specified System.Object is equal
/// to the current System.Object.
/// </summary>
/// <param name="obj">Object</param>
/// <returns>Boolean</returns>
public override bool Equals(object obj)
{
if (obj == null)
{
return(false);
}
MachineInfo mid = obj as MachineInfo;
if (mid == null)
{
return(false);
}
return(MachineId == mid.MachineId);
}
/// <summary>
/// Initializes this machine.
/// </summary>
/// <param name="runtime">PSharpRuntime</param>
/// <param name="mid">MachineId</param>
/// <param name="info">MachineInfo</param>
internal void Initialize(PSharpRuntime runtime, MachineId mid, MachineInfo info)
{
this.Runtime = mid.Runtime;
this.Id = mid;
this.Info = info;
}
