| Package | Description |
|---|---|
| net.automatalib.automata |
This package contains the basic interfaces for automata.
|
| net.automatalib.automata.fsa | |
| net.automatalib.automata.graphs | |
| net.automatalib.automata.transout |
| Modifier and Type | Method and Description |
|---|---|
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) |
| Modifier and Type | Method and Description |
|---|---|
default UniversalGraph<S,TransitionEdge<I,S>,Boolean,TransitionEdge.Property<I,Void>> |
FiniteStateAcceptor.transitionGraphView(Collection<? extends I> inputs) |
| Modifier and Type | Method and Description |
|---|---|
TransitionEdge.Property<I,TP> |
UniversalAutomatonGraphView.getEdgeProperty(TransitionEdge<I,T> edge) |
<TP> TransitionEdge.Property<I,TP> |
TransitionEdge.property(UniversalTransitionSystem<?,?,T,?,TP> uts) |
| Modifier and Type | Method and Description |
|---|---|
default UniversalGraph<S,TransitionEdge<I,T>,Void,TransitionEdge.Property<I,O>> |
MealyMachine.transitionGraphView(Collection<? extends I> inputs) |
Copyright © 2018. All rights reserved.