public abstract class TSTraversal extends Object
Modifier and Type | Field and Description |
---|---|
static int |
NO_LIMIT |
Constructor and Description |
---|
TSTraversal() |
Modifier and Type | Method and Description |
---|---|
static <S,I,T,D> boolean |
breadthFirst(TransitionSystem<S,? super I,T> ts,
Collection<? extends I> inputs,
TSTraversalVisitor<S,I,T,D> vis) |
static <S,I,T,D> boolean |
breadthFirst(TransitionSystem<S,? super 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 |
depthFirst(TransitionSystem<S,? super I,T> ts,
int limit,
Collection<? extends I> inputs,
TSTraversalVisitor<S,I,T,D> vis) |
static <S,I,T,D> boolean |
depthFirst(TransitionSystem<S,I,T> ts,
Collection<? extends I> inputs,
TSTraversalVisitor<S,I,T,D> vis) |
static <S,I,T,D> boolean |
traverse(TraversalOrder order,
TransitionSystem<S,? super I,T> ts,
Collection<? extends I> inputs,
TSTraversalVisitor<S,I,T,D> vis) |
static <S,I,T,D> boolean |
traverse(TraversalOrder order,
TransitionSystem<S,? super I,T> ts,
int limit,
Collection<? extends I> inputs,
TSTraversalVisitor<S,I,T,D> vis) |
public static final int NO_LIMIT
public static <S,I,T,D> boolean depthFirst(TransitionSystem<S,? super I,T> ts, int limit, Collection<? extends I> inputs, TSTraversalVisitor<S,I,T,D> vis)
public static <S,I,T,D> boolean depthFirst(TransitionSystem<S,I,T> ts, Collection<? extends I> inputs, TSTraversalVisitor<S,I,T,D> vis)
public static <S,I,T,D> boolean breadthFirst(TransitionSystem<S,? super I,T> ts, int limit, Collection<? extends I> inputs, TSTraversalVisitor<S,I,T,D> vis)
ts
- the transition system.inputs
- the input alphabet.vis
- the visitor.public static <S,I,T,D> boolean breadthFirst(TransitionSystem<S,? super I,T> ts, Collection<? extends I> inputs, TSTraversalVisitor<S,I,T,D> vis)
public static <S,I,T,D> boolean traverse(TraversalOrder order, TransitionSystem<S,? super I,T> ts, int limit, Collection<? extends I> inputs, TSTraversalVisitor<S,I,T,D> vis)
public static <S,I,T,D> boolean traverse(TraversalOrder order, TransitionSystem<S,? super I,T> ts, Collection<? extends I> inputs, TSTraversalVisitor<S,I,T,D> vis)
Copyright © 2015. All rights reserved.