/** * The toString method * *@return The String representation of this object. */ @Override public String toString() { StringBuilder s = new StringBuilder(); s.append("InverseSymbolSetQueryAtom("); s.append(this.hashCode() + ", "); s.append(symbols.toString()); s.append(')'); return s.toString(); } }