@Test public void testGetDescription () { assertTrue (new RandomTransitionSelector (null, null, null).getDescription ().startsWith (RandomTransitionSelector.NAME)); }
@Override public String getDescription () { return NAME + " (" + DESCRIPTION + ")"; }
RandomTransitionSelector implements TransitionSelectionStrategy { @Override public String getDescription () { return NAME + " (" + DESCRIPTION + ")"; } }
RandomTransitionSelector implements TransitionSelectionStrategy { @Override public String getDescription () { return NAME + " (" + DESCRIPTION + ")"; } RandomTransitionSelector(DirectedGraph mainGraph, RunTime runTime, RandomNumberGenerator numberGenerator); }
RandomTransitionSelector implements TransitionSelectionStrategy { @Override public String getDescription () { return NAME + " (" + DESCRIPTION + ")"; } RandomTransitionSelector(DirectedGraph mainGraph, RunTime runTime, RandomNumberGenerator numberGenerator); @Override String getDescription(); @Override Transition selectTransition(DirectedGraph graph, State currentState); }
RandomTransitionSelector implements TransitionSelectionStrategy { @Override public String getDescription () { return NAME + " (" + DESCRIPTION + ")"; } RandomTransitionSelector(DirectedGraph mainGraph, RunTime runTime, RandomNumberGenerator numberGenerator); @Override String getDescription(); @Override Transition selectTransition(DirectedGraph graph, State currentState);  }