public class DepthFirstSearchPathfinder extends EfsmPathfinder implements java.lang.AutoCloseable
Constructor and Description |
---|
DepthFirstSearchPathfinder(Efsm efsm,
EfsmTransition transition,
int loopLimit) |
Modifier and Type | Method and Description |
---|---|
void |
close() |
static java.lang.String |
deannotateName(java.lang.String annotatedName) |
java.util.List<ru.ispras.fortress.expression.NodeOperation> |
getConstraints() |
static int |
getCycleNumberForAnnotatedInput(java.lang.String annotatedName) |
java.util.List<EfsmTransition> |
getNext()
Returns a path for traversing.
|
public DepthFirstSearchPathfinder(Efsm efsm, EfsmTransition transition, int loopLimit)
public static int getCycleNumberForAnnotatedInput(java.lang.String annotatedName)
public static java.lang.String deannotateName(java.lang.String annotatedName)
public java.util.List<EfsmTransition> getNext()
EfsmPathfinder
getNext
in class EfsmPathfinder
null
is returned if all available paths were chosen or there are no available paths at
allpublic java.util.List<ru.ispras.fortress.expression.NodeOperation> getConstraints()
public void close() throws java.lang.Exception
close
in interface java.lang.AutoCloseable
java.lang.Exception