Member predicate Portal::toString

Gets a textual representation of this portal.

Different portals must have different toStrings, so the result of this predicate can be used to uniquely identify a portal.