addTransition

fun addTransition(source: Int, dest: Int, label: Int)

Add a new transition with min = max = label.


fun addTransition(source: Int, dest: Int, min: Int, max: Int)

Add a new transition with the specified source, dest, min, max.