/*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/ /** Equality test. */ public bool Equals(shift_action other) { return(other != null && other.shift_to() == shift_to()); }
/*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/ /** Equality test. */ public bool Equals(shift_action other) { return other != null && other.shift_to() == shift_to(); }