@Override public boolean equals(final Object other) { if (other instanceof AtomIVariable) return super.equals(other); return false; }
@Override public boolean equals(final Object other) { if (other instanceof AtomIVariable) return super.equals(other); return false; }
@Override public boolean equals(final Object other) { if (other instanceof AtomDVariable) return super.equals(other); return false; } }
public int compareTo(final ATermAppl arg0) { return getName().compareTo(arg0.getName()); }
@Override public boolean equals(final Object other) { if (other instanceof AtomDVariable) return super.equals(other); return false; } }
public int compareTo(final ATermAppl arg0) { return getName().compareTo(arg0.getName()); }