public override bool Equals(object o)
{
if (this == o)
{
return(true);
}
if (o == null || this.GetType() != o.GetType())
{
return(false);
}
ClusterInstance that = ( ClusterInstance )o;
if (!ToString().Equals(that.ToString()))
{
return(false);
}
if (!_uri.Equals(that._uri))
{
return(false);
}
// TODO: For now, we only look at the states of the underlying state machines,
// and ignore, at our peril, the MultiPaxosContext as part of this equality checks.
// This means the prover ignores lots of possible paths it could generate, as it considers two
// machines with different multi paxos state potentially equal and will ignore exploring both.
// This should be undone as soon as possible. It's here because we need a better mechanism than
// .equals() to compare that two contexts are the same, which is not yet implemented.
return(true);
}
