public interface TSTraversalMethod
Modifier and Type | Field and Description |
---|---|
static TSTraversalMethod |
BREADTH_FIRST |
static TSTraversalMethod |
DEPTH_FIRST |
Modifier and Type | Method and Description |
---|---|
<S,I,T,D> void |
traverse(TransitionSystem<S,? super I,T> ts,
int limit,
Collection<? extends I> inputs,
TSTraversalVisitor<S,I,T,D> visitor) |
static final TSTraversalMethod BREADTH_FIRST
static final TSTraversalMethod DEPTH_FIRST
<S,I,T,D> void traverse(TransitionSystem<S,? super I,T> ts, int limit, Collection<? extends I> inputs, TSTraversalVisitor<S,I,T,D> visitor)
Copyright © 2015. All rights reserved.