The permitted successors of this state. Lazily computed only because of the design choices of Java and Kotlin.