Uses of Class
net.automatalib.automaton.graph.TransitionEdge
-
Packages that use TransitionEdge Package Description net.automatalib.automaton This package (including sub-packages) contains the basic classes concerning automata.net.automatalib.automaton.fsa net.automatalib.automaton.graph net.automatalib.automaton.transducer net.automatalib.automaton.visualization net.automatalib.serialization.dot net.automatalib.ts.modal net.automatalib.util.automaton -
-
Uses of TransitionEdge in net.automatalib.automaton
Methods in net.automatalib.automaton that return types with arguments of type TransitionEdge Modifier and Type Method Description default Graph<S,TransitionEdge<I,T>>
Automaton. transitionGraphView(Collection<? extends I> inputs)
Obtains agraph
view of the transition graph of this automaton, taking into account the specified input symbols.default Graph<S,TransitionEdge<I,T>>
FiniteAlphabetAutomaton. transitionGraphView()
default UniversalGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>
UniversalAutomaton. transitionGraphView(Collection<? extends I> inputs)
default UniversalGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>>
UniversalFiniteAlphabetAutomaton. transitionGraphView()
-
Uses of TransitionEdge in net.automatalib.automaton.fsa
Methods in net.automatalib.automaton.fsa that return types with arguments of type TransitionEdge Modifier and Type Method Description VisualizationHelper<S,TransitionEdge<I,S>>
FiniteStateAcceptor.FSAGraphView. getVisualizationHelper()
default UniversalGraph<S,TransitionEdge<I,S>,Boolean,TransitionEdge.Property<I,Void>>
FiniteStateAcceptor. transitionGraphView(Collection<? extends I> inputs)
-
Uses of TransitionEdge in net.automatalib.automaton.graph
Methods in net.automatalib.automaton.graph that return types with arguments of type TransitionEdge Modifier and Type Method Description static <S,I,T>
Collection<TransitionEdge<I,T>>AutomatonGraphView. createTransitionEdges(Automaton<S,I,T> automaton, Collection<? extends I> inputs, S state)
Collection<TransitionEdge<I,T>>
AutomatonGraphView. getOutgoingEdges(S node)
VisualizationHelper<S,TransitionEdge<I,T>>
AutomatonGraphView. getVisualizationHelper()
Methods in net.automatalib.automaton.graph with parameters of type TransitionEdge Modifier and Type Method Description TransitionEdge.Property<I,TP>
UniversalAutomatonGraphView. getEdgeProperty(TransitionEdge<I,T> edge)
S
AutomatonGraphView. getTarget(TransitionEdge<I,T> edge)
-
Uses of TransitionEdge in net.automatalib.automaton.transducer
Methods in net.automatalib.automaton.transducer that return types with arguments of type TransitionEdge Modifier and Type Method Description VisualizationHelper<S,TransitionEdge<I,T>>
MealyMachine.MealyGraphView. getVisualizationHelper()
VisualizationHelper<S,TransitionEdge<I,T>>
MooreMachine.MooreGraphView. getVisualizationHelper()
VisualizationHelper<S,TransitionEdge<I,T>>
SubsequentialTransducer.SSTGraphView. getVisualizationHelper()
default UniversalGraph<S,TransitionEdge<I,T>,Void,TransitionEdge.Property<I,O>>
MealyMachine. transitionGraphView(Collection<? extends I> inputs)
default UniversalGraph<S,TransitionEdge<I,T>,O,TransitionEdge.Property<I,Void>>
MooreMachine. transitionGraphView(Collection<? extends I> inputs)
default UniversalGraph<S,TransitionEdge<I,T>,Word<O>,TransitionEdge.Property<I,Word<O>>>
SubsequentialTransducer. transitionGraphView(Collection<? extends I> inputs)
-
Uses of TransitionEdge in net.automatalib.automaton.visualization
Methods in net.automatalib.automaton.visualization with parameters of type TransitionEdge Modifier and Type Method Description boolean
AutomatonVisualizationHelper. getEdgeProperties(S src, TransitionEdge<I,T> edge, S tgt, Map<String,String> properties)
boolean
MealyVisualizationHelper. getEdgeProperties(S src, TransitionEdge<I,T> edge, S tgt, Map<String,String> properties)
boolean
MTSVisualizationHelper. getEdgeProperties(S src, TransitionEdge<I,T> edge, S tgt, Map<String,String> properties)
boolean
SSTVisualizationHelper. getEdgeProperties(S src, TransitionEdge<I,T> edge, S tgt, Map<String,String> properties)
-
Uses of TransitionEdge in net.automatalib.serialization.dot
Method parameters in net.automatalib.serialization.dot with type arguments of type TransitionEdge Modifier and Type Method Description static <S,I,T>
voidGraphDOT. write(Automaton<S,I,T> automaton, Collection<? extends I> inputAlphabet, Appendable a, List<VisualizationHelper<S,? super TransitionEdge<I,T>>> additionalHelpers)
Renders anAutomaton
in the GraphVIZ DOT format. -
Uses of TransitionEdge in net.automatalib.ts.modal
Methods in net.automatalib.ts.modal that return types with arguments of type TransitionEdge Modifier and Type Method Description VisualizationHelper<S,TransitionEdge<I,T>>
ModalTransitionSystem.MTSGraphView. getVisualizationHelper()
default UniversalGraph<S,TransitionEdge<I,T>,Void,TransitionEdge.Property<I,TP>>
ModalTransitionSystem. transitionGraphView(Collection<? extends I> inputs)
-
Uses of TransitionEdge in net.automatalib.util.automaton
Methods in net.automatalib.util.automaton that return types with arguments of type TransitionEdge Modifier and Type Method Description static <S,I,T>
Graph<S,TransitionEdge<I,T>>Automata. asGraph(Automaton<S,I,T> automaton, Collection<? extends I> inputs)
-