Module dev.civl.gmc
Package dev.civl.gmc

Interface TransitionChooser<STATE,TRANSITION>

Type Parameters:
STATE - the type of states in the state-transition system
TRANSITION - the type of transitions in the state-transition system
All Known Implementing Classes:
GuidedTransitionChooser, RandomTransitionChooser
public interface TransitionChooser<STATE,TRANSITION>
General interface for an object which can select one enabled transition from the set of enabled transitions at any state.

  • Method Summary

    Modifier and Type
    Method
    Description
    TRANSITION
    chooseEnabledTransition(STATE state)
    Using some protocol, chooses one of the transitions enabled at the given state.

  • Method Details

    • chooseEnabledTransition

      TRANSITION chooseEnabledTransition(STATE state) throws MisguidedExecutionException
      Using some protocol, chooses one of the transitions enabled at the given state. If there are no enabled transitions, returns null.
      Parameters:
      state - a state
      Returns:
      a transition enabled at that state, or null if there is none
      Throws:
      MisguidedExecutionException - if a transition cannot be selected for some reason