public override int GetHashCode() { int hash = 1; if (Policy.Length != 0) { hash ^= Policy.GetHashCode(); } if (RoutineNum != 0) { hash ^= RoutineNum.GetHashCode(); } if (DefaultProcNum != 0) { hash ^= DefaultProcNum.GetHashCode(); } if (classicConf_ != null) { hash ^= ClassicConf.GetHashCode(); } if (choreographyConf_ != null) { hash ^= ChoreographyConf.GetHashCode(); } return(hash); }