public abstract class EfsmTransitionChooser
extends java.lang.Object
Constructor and Description |
---|
EfsmTransitionChooser() |
Modifier and Type | Method and Description |
---|---|
abstract EfsmTransition |
chooseNext()
Chooses and returns a transition for traversing.
|
abstract boolean |
hasNext()
Checks if there is at least one non-chosen transition now.
|
public abstract EfsmTransition chooseNext()
null
is
returned if all choosable transitions were chosen or there are no choosable transitions at allpublic abstract boolean hasNext()
true
if there is at least one non-chosen transition. Otherwise returns
false