public override int GetHashCode()
{
return(Hashing.Hash(
renamedName.GetHashCode(),
isSafe.GetHashCode(),
//instanceNumber.GetHashCode(),
fields.Select(v => v.GetHashCode()).Hash(),
eventValue.GetHashCode(),
stateStack.GetHashCode(),
invertedFunStack.GetHashCode(),
continuation.GetHashCode(),
currentStatus.GetHashCode(),
nextSMOperation.GetHashCode(),
stateExitReason.GetHashCode(),
currentTrigger.GetHashCode(),
currentPayload.GetHashCode(),
destOfGoto == null ? Hashing.Hash() : destOfGoto.GetHashCode()
));
}
public override int GetHashCode()
{
return(key.GetHashCode());
}
public override int GetHashCode()
{
return(Hashing.Hash(nondet.GetHashCode(), reason.GetHashCode(), retVal.GetHashCode(), retLocals.Select(v => v.GetHashCode()).Hash()));
}
public override int GetHashCode()
{
return(Hashing.Hash(ev.GetHashCode(), arg.GetHashCode()));
}
public override int GetHashCode()
{
return(Hashing.Hash(key.GetHashCode(), keyIndex.GetHashCode()));
}
