public static int structuralHashCode(LiRhsPart a[]) {
if (a == null) {
return 0;
}
int result = 1;
for (LiRhsPart element : a) {
result = 31 * result + (element == null ? 0 : element.structuralHashCode());
}
return result;
}
@Override
public int hashCode() {
return part.structuralHashCode();
}