public class EfsmBfs extends java.lang.Object implements EfsmPathSearcher
Constructor and Description |
---|
EfsmBfs()
The default constructor.
|
Modifier and Type | Method and Description |
---|---|
boolean |
hasNext()
Shows whether the algorithm can proceed and try to obtain alternative results.
|
boolean |
hasValue()
Shows whether the result has been obtained during the search.
|
void |
init(Efsm efsm,
EfsmTransition startTransition,
SearchCondition condition)
Used to initialize the searcher.
|
void |
next()
Performs a search until condition is met or the end is reached.
|
java.util.List<GuardedAction> |
value()
Returns the path if it has been found.
|
public void init(Efsm efsm, EfsmTransition startTransition, SearchCondition condition)
EfsmPathSearcher
init
in interface EfsmPathSearcher
efsm
- - the Efsm
to examine;startTransition
- - initial point of the algorithm (EfsmTransition
);condition
- - the SearchCondition
that is required to stop the search.public void next()
EfsmPathSearcher
next
in interface EfsmPathSearcher
public boolean hasNext()
EfsmPathSearcher
hasNext
in interface EfsmPathSearcher
true
if the algorithm can proceed, false
otherwise.public boolean hasValue()
EfsmPathSearcher
hasValue
in interface EfsmPathSearcher
true
if the path has been found, false
otherwise.public java.util.List<GuardedAction> value()
EfsmPathSearcher
value
in interface EfsmPathSearcher
List
of GuardedAction