public interface IUT2004PathExecutorHelper<PATH_ELEMENT> extends IPathExecutorHelper<PATH_ELEMENT>
| Modifier and Type | Method and Description |
|---|---|
List<IStuckDetector> |
getStuckDetectors()
Returns list of all stuck detectors registered inside the executor.
|
checkStuckDetectors, stuck, switchToAnotherPathElement, targetReachedaddStuckDetector, followPath, getLog, getPath, getPathElement, getPathElementIndex, getPathFrom, getPathFuture, getPathTo, getState, inState, isExecuting, isPathUnavailable, isStuck, isTargetReached, notInState, removeAllStuckDetectors, removeStuckDetector, stopList<IStuckDetector> getStuckDetectors()
Copyright © 2012 AMIS research group, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. All Rights Reserved.