static <S,I,T,D> boolean |
TSTraversal.breadthFirst(TransitionSystem<S,? super I,T> ts,
int limit,
Collection<? extends I> inputs,
TSTraversalVisitor<S,I,T,D> visitor) |
Traverses the given transition system in a breadth-first fashion.
|
static <S,I,T,D> void |
TSTraversal.breadthFirst(TransitionSystem<S,? super I,T> ts,
Collection<? extends I> inputs,
TSTraversalVisitor<S,I,T,D> visitor) |
Traverses the given transition system in a breadth-first fashion.
|
static <S,I,T,D> boolean |
TSTraversal.depthFirst(TransitionSystem<S,? super I,T> ts,
int limit,
Collection<? extends I> inputs,
TSTraversalVisitor<S,I,T,D> visitor) |
Traverses the given transition system in a depth-first fashion.
|
static <S,I,T,D> void |
TSTraversal.depthFirst(TransitionSystem<S,I,T> ts,
Collection<? extends I> inputs,
TSTraversalVisitor<S,I,T,D> visitor) |
Traverses the given transition system in a depth-first fashion.
|
static <S,I,T,D> boolean |
TSTraversal.traverse(TraversalOrder order,
TransitionSystem<S,? super I,T> ts,
int limit,
Collection<? extends I> inputs,
TSTraversalVisitor<S,I,T,D> visitor) |
Traverses the given transition system in a given order.
|
static <S,I,T,D> void |
TSTraversal.traverse(TraversalOrder order,
TransitionSystem<S,? super I,T> ts,
Collection<? extends I> inputs,
TSTraversalVisitor<S,I,T,D> visitor) |
Traverses the given transition system in a given order.
|
<S,I,T,D> void |
TSTraversalMethod.traverse(TransitionSystem<S,? super I,T> ts,
int limit,
Collection<? extends I> inputs,
TSTraversalVisitor<S,I,T,D> visitor) |
|