Interface TSTraversalMethod
-
public interface TSTraversalMethod
-
-
Field Summary
Fields Modifier and Type Field Description static TSTraversalMethod
BREADTH_FIRST
static TSTraversalMethod
DEPTH_FIRST
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description <S,I,T,D>
voidtraverse(TransitionSystem<S,? super I,T> ts, int limit, Collection<? extends I> inputs, TSTraversalVisitor<S,I,T,D> visitor)
-
-
-
Field Detail
-
BREADTH_FIRST
static final TSTraversalMethod BREADTH_FIRST
-
DEPTH_FIRST
static final TSTraversalMethod DEPTH_FIRST
-
-
Method Detail
-
traverse
<S,I,T,D> void traverse(TransitionSystem<S,? super I,T> ts, int limit, Collection<? extends I> inputs, TSTraversalVisitor<S,I,T,D> visitor)
-
-