@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; } }
@Override public boolean equals(final Object other) { if (other instanceof AtomDVariable) return super.equals(other); return false; } }