HUCTLp
/
com.github.sybila.huctl
/
Formula
/
Transition
/
name
name
val
name
:
String
The name of the variable which should perform the transition