TransitionAccessor

Interface accessing the transitions of an automaton

Inheritors

Functions

Link copied to clipboard
abstract fun getNextTransition(t: Transition)

Iterate to the next transition after the provided one

Link copied to clipboard
abstract fun getNumTransitions(state: Int): Int

How many transitions this state has.

Link copied to clipboard
abstract fun getTransition(state: Int, index: Int, t: Transition)

Fill the provided Transition with the index'th transition leaving the specified state.

Link copied to clipboard
abstract fun initTransition(state: Int, t: Transition): Int

Initialize the provided Transition to iterate through all transitions leaving the specified state. You must call .getNextTransition to get each transition. Returns the number of transitions leaving this state.