HUCTLp / com.github.sybila.huctl / Formula / Not / toString

toString

fun toString(): String

Overrides Formula.toString

Return string which uniquely represents this formula and can be parsed to create an equivalent object.