public bool Equals(Literal <T_Identifier> other)
{
return(null != other &&
other._isTermPositive == _isTermPositive &&
other._term.Equals(_term));
}
public bool Equals(Literal <T_Identifier> other)
{
return(null != other &&
other._isTermPositive == _isTermPositive &&
other._term.Equals(_term));
}