Package | Description |
---|---|
net.automatalib.automata |
This package contains the basic interfaces for automata.
|
net.automatalib.automata.fsa | |
net.automatalib.automata.graphs | |
net.automatalib.automata.transducers | |
net.automatalib.automata.visualization | |
net.automatalib.serialization.dot | |
net.automatalib.util.automata |
Modifier and Type | Method and Description |
---|---|
default Graph<S,TransitionEdge<I,T>> |
FiniteAlphabetAutomaton.transitionGraphView() |
default UniversalGraph<S,TransitionEdge<I,T>,SP,TransitionEdge.Property<I,TP>> |
UniversalFiniteAlphabetAutomaton.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)
Obtains a
graph view of the transition graph of this automaton, taking into account the specified
input symbols. |
Modifier and Type | Method and 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) |
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) |
Collection<TransitionEdge<I,T>> |
AutomatonGraphView.getOutgoingEdges(S node) |
VisualizationHelper<S,TransitionEdge<I,T>> |
AutomatonGraphView.getVisualizationHelper() |
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 |
---|---|
VisualizationHelper<S,TransitionEdge<I,T>> |
MealyMachine.MealyGraphView.getVisualizationHelper() |
VisualizationHelper<S,TransitionEdge<I,T>> |
MooreMachine.MooreGraphView.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) |
Modifier and Type | Method and Description |
---|---|
boolean |
MealyVisualizationHelper.getEdgeProperties(S src,
TransitionEdge<I,T> edge,
S tgt,
Map<String,String> properties) |
boolean |
AutomatonVisualizationHelper.getEdgeProperties(S src,
TransitionEdge<I,T> edge,
S tgt,
Map<String,String> properties) |
Modifier and Type | Method and Description |
---|---|
static <S,I,T> void |
GraphDOT.write(Automaton<S,I,T> automaton,
Collection<? extends I> inputAlphabet,
Appendable a,
List<VisualizationHelper<S,? super TransitionEdge<I,T>>> additionalHelpers)
Renders an
Automaton in the GraphVIZ DOT format. |
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) |
Copyright © 2020. All rights reserved.