Example #1
0
        /*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/

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

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