/*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
 /** Equality comparison for properly typed object. */
 public bool Equals(action_part other)
 {
     /* compare the strings */
     return other != null && base.Equals(other) &&
         other.code_string().Equals(code_string());
 }
        /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/

        /** Equality comparison for properly typed object. */
        public bool Equals(action_part other)
        {
            /* compare the strings */
            return(other != null && base.Equals(other) &&
                   other.code_string().Equals(code_string()));
        }