public override int GetHashCode()
{
var hash = 19;
hash = hash * 31 + ProgramState.GetHashCode();
hash = hash * 31 + ProgramPoint.GetHashCode();
return(hash);
}
public ExplodedGraphNode(ProgramPoint programPoint, ProgramState programState)
{
ProgramState = programState;
ProgramPoint = programPoint;
this.hash = new Lazy <int>(() =>
{
var h = 19;
h = h * 31 + ProgramState.GetHashCode();
h = h * 31 + ProgramPoint.GetHashCode();
return(h);
});
}
