fun toString(): String
Overrides DirFormula.toString
Return string which uniquely represents this formula and can be parsed to create an equivalent object.