Modifier and Type | Method and Description |
---|---|
default UniversalGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>> |
UniversalFiniteAlphabetAutomaton.transitionGraphView() |
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 Graph<S,TransitionEdge<I,T>> |
Automaton.transitionGraphView(Collection<? extends I> inputs) |
Modifier and Type | Method and Description |
---|---|
boolean |
DefaultDOTHelperAutomaton.getEdgeProperties(S src,
TransitionEdge<I,T> edge,
S tgt,
Map<String,String> properties) |
boolean |
DOTHelperMealy.getEdgeProperties(S src,
TransitionEdge<I,T> edge,
S tgt,
Map<String,String> properties) |
Modifier and Type | Method and Description |
---|---|
GraphDOTHelper<S,? super TransitionEdge<I,S>> |
FiniteStateAcceptor.FSAGraphView.getGraphDOTHelper() |
default UniversalGraph<S,TransitionEdge<I,S>,Boolean,TransitionEdge.Property<I,Void>> |
FiniteStateAcceptor.transitionGraphView(Collection<? extends I> inputs) |
Modifier and Type | Method and Description |
---|---|
static <S,I,T> Collection<TransitionEdge<I,T>> |
AutomatonGraphView.createTransitionEdges(Automaton<S,I,T> automaton,
Collection<? extends I> inputs,
S state) |
GraphDOTHelper<S,? super TransitionEdge<I,T>> |
AutomatonGraphView.getGraphDOTHelper() |
Collection<? extends TransitionEdge<I,T>> |
AutomatonGraphView.getOutgoingEdges(S node) |
Modifier and Type | Method and Description |
---|---|
TransitionEdge.Property<I,TP> |
UniversalAutomatonGraphView.getEdgeProperty(TransitionEdge<I,T> edge) |
S |
AutomatonGraphView.getTarget(TransitionEdge<I,T> edge) |
Modifier and Type | Method and Description |
---|---|
GraphDOTHelper<S,? super TransitionEdge<I,T>> |
MealyMachine.MealyGraphView.getGraphDOTHelper() |
default UniversalGraph<S,TransitionEdge<I,T>,Void,TransitionEdge.Property<I,O>> |
MealyMachine.transitionGraphView(Collection<? extends I> inputs) |
Modifier and Type | Method and Description |
---|---|
static <S,I,T> Graph<S,TransitionEdge<I,T>> |
Automata.asGraph(Automaton<S,I,T> automaton,
Collection<? extends I> inputs) |
static <S,I,T,SP,TP> |
Automata.asUniversalGraph(UniversalAutomaton<S,I,T,SP,TP> automaton,
Collection<? extends I> inputs) |
Modifier and Type | Method and Description |
---|---|
Collection<TransitionEdge<I,T>> |
AutomatonAsGraph.getOutgoingEdges(S node) |
static <S,I,T> Collection<TransitionEdge<I,T>> |
AGHelper.outgoingEdges(Automaton<S,I,T> aut,
S state,
Collection<? extends I> inputAlphabet) |
Modifier and Type | Method and Description |
---|---|
TransitionEdge.Property<I,TP> |
UniversalAutomatonAsGraph.getEdgeProperty(TransitionEdge<I,T> edge) |
S |
AutomatonAsGraph.getTarget(TransitionEdge<I,T> edge) |
Modifier and Type | Method and Description |
---|---|
static <S,I,T> void |
GraphDOT.write(Automaton<S,I,T> automaton,
GraphDOTHelper<S,? super TransitionEdge<I,T>> helper,
Collection<? extends I> inputAlphabet,
Appendable a,
GraphDOTHelper<S,? super TransitionEdge<I,T>>... additionalHelpers)
Renders an
Automaton in the GraphVIZ DOT format. |
Copyright © 2015. All rights reserved.