public override void DbgCompare(PrtMachine machine)
{
base.DbgCompare(machine);
Debug.Assert(currentTemperature.GetHashCode() == (machine as PrtSpecMachine).currentTemperature.GetHashCode());
Debug.Assert(GetHashCode() == machine.GetHashCode());
}
