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.util.automata |
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) |
default UniversalGraph<S,TransitionEdge<I,T>,O,TransitionEdge.Property<I,Void>> |
MooreMachine.transitionGraphView(Collection<? extends I> inputs) |
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) |
Copyright © 2020. All rights reserved.