data class Transition : Formula
Transition proposition. A state satisfies this proposition if there is a transition in the specified direction (up/down) and flow in/out of the state.
| <init> |
Transition(name: String, direction: Direction, flow: Flow)
Transition proposition. A state satisfies this proposition if there is a transition in the specified direction (up/down) and flow in/out of the state. |
| direction |
val direction: Direction
The direction (up/down) of the variable change (relative to this state) |
| flow |
val flow: Flow
The flow in the specified direction (in/out) |
| name |
val name: String
The name of the variable which should perform the transition |
| node |
open val node: Formula
Formula is also the node in the tree, so |
| toString |
fun toString(): String
Return string which uniquely represents this formula and can be parsed to create an equivalent object. |