public override int GetHashCode()
{
unchecked
{
return((NonTerminal.GetHashCode() * 397) ^ DerivedElements.GetHashCode());
}
}
public bool Equals(Production <T> other)
{
if (ReferenceEquals(null, other))
{
return(false);
}
if (ReferenceEquals(this, other))
{
return(true);
}
return
(NonTerminal.Equals(other.NonTerminal) &&
DerivedElements.SequenceEqual(other.DerivedElements));
}
