net.automatalib.util.automata.asgraph

Class AGHelper

java.lang.Object

net.automatalib.util.automata.asgraph.AGHelper

public class AGHelper
extends Object

Constructor Summary

Constructors

Constructor and Description
AGHelper()

Method Summary

Methods

Modifier and Type	Method and Description
static <S,I,T> Collection<TransitionEdge<I,T>>	outgoingEdges(Automaton<S,I,T> aut, S state, Collection<? extends I> inputAlphabet)

Methods inherited from class java.lang.Object

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

Constructor Detail

AGHelper

public AGHelper()

Method Detail

outgoingEdges

public static <S,I,T> Collection<TransitionEdge<I,T>> outgoingEdges(Automaton<S,I,T> aut,
                                                    S state,
                                                    Collection<? extends I> inputAlphabet)