Uses of Class
net.automatalib.util.traversal.TraversalOrder
-
Packages that use TraversalOrder Package Description net.automatalib.util.graph.copy net.automatalib.util.graph.traversal net.automatalib.util.traversal net.automatalib.util.ts.traversal -
-
Uses of TraversalOrder in net.automatalib.util.graph.copy
Methods in net.automatalib.util.graph.copy with parameters of type TraversalOrder Modifier and Type Method Description static <N1,E1,N2,E2,NP2,EP2>
Mapping<N1,N2>GraphCopy. copyTraversal(IndefiniteGraph<N1,E1> in, MutableGraph<N2,E2,NP2,EP2> out, TraversalOrder order, int limit, Collection<? extends N1> initialNodes, Mapping<? super N1,? extends NP2> npMapping, Mapping<? super E1,? extends EP2> epMapping)
static <N1,E1,N2,E2,NP2,EP2>
Mapping<N1,N2>GraphCopy. copyTraversal(UniversalIndefiniteGraph<N1,E1,? extends NP2,? extends EP2> in, MutableGraph<N2,E2,NP2,EP2> out, TraversalOrder order, int limit, Collection<? extends N1> initialNodes)
static <N1,E1,NP1,EP1,N2,E2,NP2,EP2>
Mapping<N1,N2>GraphCopy. copyUniversalTraversal(UniversalIndefiniteGraph<N1,E1,NP1,EP1> in, MutableGraph<N2,E2,NP2,EP2> out, TraversalOrder order, int limit, Collection<? extends N1> initialNodes, Mapping<? super NP1,? extends NP2> npConversion, Mapping<? super EP1,? extends EP2> epConversion)
-
Uses of TraversalOrder in net.automatalib.util.graph.traversal
Methods in net.automatalib.util.graph.traversal with parameters of type TraversalOrder Modifier and Type Method Description static <N,E,D>
booleanGraphTraversal. traverse(TraversalOrder order, IndefiniteGraph<N,E> graph, int limit, Collection<? extends N> initialNodes, GraphTraversalVisitor<N,E,D> visitor)
Traverses the given graph in a given order.static <N,E,D>
booleanGraphTraversal. traverse(TraversalOrder order, IndefiniteGraph<N,E> graph, int limit, N initialNode, GraphTraversalVisitor<N,E,D> visitor)
Traverses the given graph in a given order.static <N,E,D>
voidGraphTraversal. traverse(TraversalOrder order, IndefiniteGraph<N,E> graph, Collection<? extends N> initialNodes, GraphTraversalVisitor<N,E,D> visitor)
Traverses the given graph in a given order.static <N,E,D>
voidGraphTraversal. traverse(TraversalOrder order, IndefiniteGraph<N,E> graph, N initialNode, GraphTraversalVisitor<N,E,D> visitor)
Traverses the given graph in a given order. -
Uses of TraversalOrder in net.automatalib.util.traversal
Methods in net.automatalib.util.traversal that return TraversalOrder Modifier and Type Method Description static TraversalOrder
TraversalOrder. valueOf(String name)
Returns the enum constant of this type with the specified name.static TraversalOrder[]
TraversalOrder. values()
Returns an array containing the constants of this enum type, in the order they are declared. -
Uses of TraversalOrder in net.automatalib.util.ts.traversal
Methods in net.automatalib.util.ts.traversal with parameters of type TraversalOrder Modifier and Type Method Description static <S,I,T,D>
booleanTSTraversal. 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>
voidTSTraversal. 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.
-