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.
|
void init(Efsm efsm, EfsmTransition startTransition, SearchCondition condition)
efsm
- - the Efsm
to examine;startTransition
- - initial point of the algorithm (EfsmTransition
);condition
- - the SearchCondition
that is required to stop the search.boolean hasNext()
true
if the algorithm can proceed, false
otherwise.void next()
boolean hasValue()
true
if the path has been found, false
otherwise.java.util.List<GuardedAction> value()
List
of GuardedAction