| Package | Description |
|---|---|
| net.automatalib.automata.base.compact | |
| net.automatalib.automata.base.fast | |
| net.automatalib.automata.graphs |
| Modifier and Type | Method and Description |
|---|---|
TransitionEdge.Property<I,Void> |
AbstractCompactSimpleDet.getEdgeProperty(TransitionEdge<I,Integer> edge) |
| Modifier and Type | Method and Description |
|---|---|
TransitionEdge.Property<I,TP> |
FastMutableDet.getEdgeProperty(TransitionEdge<I,T> edge) |
TransitionEdge.Property<I,TP> |
FastMutableNondet.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) |
Copyright © 2013. All Rights Reserved.