/** * Checks if this variable is equal to some other variable. */@Override
publicboolean equals(final Object other)
{
if (this == other)
returntrue;
if (!(other instanceof AtomVariable))
returnfalse;
returngetName().equals(((AtomVariable) other).getName());
}
/** * Checks if this variable is equal to some other variable. */@Override
publicboolean equals(final Object other)
{
if (this == other)
returntrue;
if (!(other instanceof AtomVariable))
returnfalse;
returngetName().equals(((AtomVariable) other).getName());
}