/**
* Indicates whether some other KExpression is "equal to this one.
*
* @param o the reference object with which to compare.
* @return <code>true</code> if this object is the same as the o argument; <code>false</code>
* otherwise.
* @see #hashCode()
*/
public boolean equals(Object o) {
if (o == this) return (true);
if (!(o instanceof KExpression)) return (false);
KExpression other = (KExpression) o;
if (getName().compareTo(other.getName()) != 0) return (false);
return (true);
}
/**
* Return true if the supplied expression "contradicts" this expression. If the supplied
* expression is not of the same type, then it cannot contradict it. If the names are different
* then there can be no contradiction.
*
* @param o Expression to examine for contradiction.
*/
public boolean contradicts(Expression o) {
if (!(o instanceof KExpression)) return (false);
KExpression other = (KExpression) o;
if (getName().compareTo(other.getName()) != 0) return (false);
return (true);
}