Modifier and Type | Method and Description |
---|---|
GraphDOTHelper<Integer,TransitionEdge<I,Integer>> |
AbstractCompactSimpleDet.getGraphDOTHelper() |
Collection<TransitionEdge<I,Integer>> |
AbstractCompactSimpleDet.getOutgoingEdges(Integer node) |
Collection<TransitionEdge<I,T>> |
AbstractCompactDeterministic.getOutgoingEdges(Integer node) |
Modifier and Type | Method and Description |
---|---|
TransitionEdge.Property<I,Void> |
AbstractCompactSimpleDet.getEdgeProperty(TransitionEdge<I,Integer> edge) |
Integer |
AbstractCompactSimpleDet.getTarget(TransitionEdge<I,Integer> edge) |
Integer |
AbstractCompactDeterministic.getTarget(TransitionEdge<I,T> edge) |
Modifier and Type | Method and Description |
---|---|
Collection<TransitionEdge<I,T>> |
FastMutableNondet.getOutgoingEdges(S node) |
Collection<TransitionEdge<I,T>> |
FastMutableDet.getOutgoingEdges(S node) |
Modifier and Type | Method and Description |
---|---|
TransitionEdge.Property<I,TP> |
FastMutableNondet.getEdgeProperty(TransitionEdge<I,T> edge) |
TransitionEdge.Property<I,TP> |
FastMutableDet.getEdgeProperty(TransitionEdge<I,T> edge) |
S |
FastMutableNondet.getTarget(TransitionEdge<I,T> edge) |
S |
FastMutableDet.getTarget(TransitionEdge<I,T> edge) |
Modifier and Type | Method and Description |
---|---|
GraphDOTHelper<S,TransitionEdge<I,T>> |
DOTPlottableAutomaton.getDOTHelper() |
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<FastNFAState,TransitionEdge<I,FastNFAState>> |
FastNFA.getDOTHelper() |
Modifier and Type | Method and Description |
---|---|
GraphDOTHelper<Integer,TransitionEdge<I,Integer>> |
CompactDFA.getDOTHelper() |
Modifier and Type | Method and Description |
---|---|
static <S,I,T> Collection<TransitionEdge<I,T>> |
AbstractAutomatonGraph.createOutgoingEdges(Automaton<S,I,T> automaton,
Collection<? extends I> inputs,
S state) |
static <S,I,T> Collection<TransitionEdge<I,T>> |
AbstractAutomatonGraph.getOutgoingEdges(FiniteAlphabetAutomaton<S,I,T> $this,
S node) |
Collection<TransitionEdge<I,T>> |
AbstractAutomatonGraph.getOutgoingEdges(S node) |
Modifier and Type | Method and Description |
---|---|
static <S,I,T,SP,TP> |
AbstractAutomatonGraph.getEdgeProperties(UniversalAutomaton<S,I,T,SP,TP> $this,
TransitionEdge<I,T> edge) |
TransitionEdge.Property<I,TP> |
AbstractAutomatonGraph.getEdgeProperty(TransitionEdge<I,T> edge) |
static <S,I,T> S |
AbstractAutomatonGraph.getTarget(Automaton<S,I,T> $this,
TransitionEdge<I,T> edge) |
S |
AbstractAutomatonGraph.getTarget(TransitionEdge<I,T> edge) |
Modifier and Type | Method and Description |
---|---|
GraphDOTHelper<FastMealyState<O>,TransitionEdge<I,MealyTransition<FastMealyState<O>,O>>> |
FastMealy.getDOTHelper() |
Modifier and Type | Method and Description |
---|---|
GraphDOTHelper<Integer,TransitionEdge<I,CompactMealyTransition<O>>> |
CompactMealy.getDOTHelper() |
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.