enum class Direction
Specifies the direction in which one moves in the transition system.
| POSITIVE |
Increasing (n -> n+1) |
| NEGATIVE |
Decreasing (n -> n-1) |
| toString |
fun toString(): String
Return a string representation which can be parsed to create an equivalent object. |