Modifier and Type | Method and Description |
---|---|
TransitionEdge.Property<I,Void> |
AbstractCompactSimpleNondet.getEdgeProperty(TransitionEdge<I,Integer> edge) |
TransitionEdge.Property<I,Void> |
AbstractCompactSimpleDet.getEdgeProperty(TransitionEdge<I,Integer> edge) |
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) |
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) |
<TP> TransitionEdge.Property<I,TP> |
TransitionEdge.property(UniversalTransitionSystem<?,?,T,?,TP> uts) |
Modifier and Type | Method and Description |
---|---|
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 |
---|---|
TransitionEdge.Property<I,TP> |
UniversalAutomatonAsGraph.getEdgeProperty(TransitionEdge<I,T> edge) |
Copyright © 2015. All rights reserved.