Module dev.civl.gmc

Package dev.civl.gmc

Class RandomTransitionChooser<STATE,TRANSITION>

java.lang.Object

dev.civl.gmc.RandomTransitionChooser<STATE,TRANSITION>

Type Parameters:

STATE - the type for the states of the transition system

TRANSITION - the type for the transitions of the transition system

All Implemented Interfaces:

TransitionChooser<STATE,TRANSITION>

public class RandomTransitionChooser<STATE,TRANSITION>
extends Object
implements TransitionChooser<STATE,TRANSITION>

An implementation of TransitionChooser in which a transition is chosen randomly from the full set of the enabled transitions enabled at a state.

Constructor Summary

Constructors

Constructor	Description
RandomTransitionChooser(EnablerIF<STATE,TRANSITION> enabler)
RandomTransitionChooser(EnablerIF<STATE,TRANSITION> enabler, long seed)

Method Summary

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

RandomTransitionChooser

public RandomTransitionChooser(EnablerIF<STATE,TRANSITION> enabler,
 long seed)

RandomTransitionChooser

public RandomTransitionChooser(EnablerIF<STATE,TRANSITION> enabler)

Method Details

chooseEnabledTransition

public TRANSITION chooseEnabledTransition(STATE state)
                                   throws MisguidedExecutionException

Description copied from interface: TransitionChooser

Using some protocol, chooses one of the transitions enabled at the given state. If there are no enabled transitions, returns null.

Specified by:

chooseEnabledTransition in interface TransitionChooser<STATE,TRANSITION>

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

getSeed

public long getSeed()