/*. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .*/
/** Equality comparison for the core only. This is separate out because we
* need separate access in a super class.
*/
public bool core_equals(lr_item_core other)
{
return(other != null &&
_the_production.Equals(other._the_production) &&
_dot_pos == other._dot_pos);
}
