Provides helper methods for String representations of FOL entities (formulas and terms).
Jan Müller
The name of the entity.
Returns a raw String representation of an FOLEntity. This method should not be called directly, as it does not include brackets and dots.
Returns a String representation with no variable assignments and no brackets or dot at root level.
Returns a String representation with no variable assignments and optional brackets or dot at root level.