net.automatalib.util.ts.traversal

Class TSTraversal

java.lang.Object

net.automatalib.util.ts.traversal.TSTraversal

public abstract class TSTraversal
extends Object

Author:

Malte Isberner

Field Summary

Fields

Modifier and Type	Field and Description
static int	NO_LIMIT

Constructor Summary

Constructors

Constructor and Description
TSTraversal()

Method Summary

Methods

Modifier and Type	Method and Description
static <S,I,T,D> boolean	breadthFirst(TransitionSystem<S,I,T> ts, Collection<? extends I> inputs, TSTraversalVisitor<S,I,T,D> vis)
static <S,I,T,D> boolean	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	depthFirst(TransitionSystem<S,I,T> ts, Collection<? extends I> inputs, TSTraversalVisitor<S,I,T,D> vis)
static <S,I,T,D> boolean	depthFirst(TransitionSystem<S,I,T> ts, int limit, Collection<? extends I> inputs, TSTraversalVisitor<S,I,T,D> vis)
static <S,I,T,D> boolean	traverse(TraversalOrder order, 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,I,T> ts, int limit, Collection<? extends I> inputs, TSTraversalVisitor<S,I,T,D> vis)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

NO_LIMIT

public static final int NO_LIMIT

See Also:

Constant Field Values

Constructor Detail

TSTraversal

public TSTraversal()

Method Detail

depthFirst

public static <S,I,T,D> boolean depthFirst(TransitionSystem<S,I,T> ts,
                           int limit,
                           Collection<? extends I> inputs,
                           TSTraversalVisitor<S,I,T,D> vis)

depthFirst

public static <S,I,T,D> boolean depthFirst(TransitionSystem<S,I,T> ts,
                           Collection<? extends I> inputs,
                           TSTraversalVisitor<S,I,T,D> vis)

breadthFirst

public static <S,I,T,D> boolean 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. The traversal is steered by the specified visitor.

Parameters:

ts - the transition system.

inputs - the input alphabet.

vis - the visitor.

breadthFirst

public static <S,I,T,D> boolean breadthFirst(TransitionSystem<S,I,T> ts,
                             Collection<? extends I> inputs,
                             TSTraversalVisitor<S,I,T,D> vis)

traverse

public static <S,I,T,D> boolean traverse(TraversalOrder order,
                         TransitionSystem<S,I,T> ts,
                         int limit,
                         Collection<? extends I> inputs,
                         TSTraversalVisitor<S,I,T,D> vis)

traverse

public static <S,I,T,D> boolean traverse(TraversalOrder order,
                         TransitionSystem<S,I,T> ts,
                         Collection<? extends I> inputs,
                         TSTraversalVisitor<S,I,T,D> vis)