int () { int hashCode = 1; hashCode = hashCode * 8191 + seq; hashCode = hashCode * 8191 + ((isSetVariables()) ? 131071 : 524287); if (isSetVariables()) hashCode = hashCode * 8191 + variables.hashCode(); return hashCode; }