Package | Description |
---|---|
net.automatalib.util.ts.traversal |
Modifier and Type | Method and Description |
---|---|
static <S,I,T,D> boolean |
TSTraversal.breadthFirst(TransitionSystem<S,I,T> ts,
Collection<? extends I> inputs,
TSTraversalVisitor<S,I,T,D> vis) |
static <S,I,T,D> boolean |
TSTraversal.breadthFirst(TransitionSystem<S,I,T> ts,
int limit,
Collection<? extends I> inputs,
TSTraversalVisitor<S,I,T,D> vis)
Traverses the given transition system in a breadth-first fashion.
|
static <S,I,T,D> boolean |
TSTraversal.depthFirst(TransitionSystem<S,I,T> ts,
Collection<? extends I> inputs,
TSTraversalVisitor<S,I,T,D> vis) |
static <S,I,T,D> boolean |
TSTraversal.depthFirst(TransitionSystem<S,I,T> ts,
int limit,
Collection<? extends I> inputs,
TSTraversalVisitor<S,I,T,D> vis) |
static <S,I,T,D> boolean |
TSTraversal.traverse(TraversalOrder order,
TransitionSystem<S,I,T> ts,
Collection<? extends I> inputs,
TSTraversalVisitor<S,I,T,D> vis) |
static <S,I,T,D> boolean |
TSTraversal.traverse(TraversalOrder order,
TransitionSystem<S,I,T> ts,
int limit,
Collection<? extends I> inputs,
TSTraversalVisitor<S,I,T,D> vis) |
Copyright © 2015. All Rights Reserved.