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.automata.transducers.impl.map | |
net.automatalib.brics | |
net.automatalib.graphs | |
net.automatalib.graphs.base.compact | |
net.automatalib.util.automata | |
net.automatalib.util.graphs.concepts | |
net.automatalib.util.graphs.copy | |
net.automatalib.util.minimizer |
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 | Class and Description |
---|---|
static class |
FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>> |
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 | Class and Description |
---|---|
class |
UniversalAutomatonGraphView<S,I,T,SP,TP,A extends UniversalAutomaton<S,I,T,SP,TP>> |
Modifier and Type | Class and Description |
---|---|
static class |
MealyMachine.MealyGraphView<S,I,T,O,A extends MealyMachine<S,I,T,O>> |
static class |
MooreMachine.MooreGraphView<S,I,T,O,A extends MooreMachine<S,I,T,O>> |
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 | Class and Description |
---|---|
class |
SimpleMapGraph<N>
A very simple graph realization, where nodes can be arbitrary Java objects.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractBricsAutomaton.GraphView |
Modifier and Type | Interface and Description |
---|---|
interface |
MutableGraph<N,E,NP,EP>
A graph that allows modification.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractCompactGraph<E extends CompactEdge<EP>,NP,EP> |
class |
AbstractCompactNPGraph<E extends CompactEdge<EP>,NP,EP> |
class |
AbstractCompactSimpleGraph<E extends CompactEdge<EP>,EP> |
class |
CompactGraph<NP,EP> |
class |
CompactSimpleBidiGraph<EP> |
class |
CompactSimpleGraph<EP> |
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) |
Constructor and Description |
---|
PropertyEdgeWeights(UniversalGraph<?,E,?,? extends Number> graph) |
Modifier and Type | Method and Description |
---|---|
static <N1,E1,N2,E2,NP2,EP2> |
GraphCopy.copyPlain(UniversalGraph<N1,E1,? extends NP2,? extends EP2> in,
MutableGraph<N2,E2,NP2,EP2> out) |
static <N1,E1,NP1,EP1,N2,E2,NP2,EP2> |
GraphCopy.copyUniversalPlain(UniversalGraph<N1,E1,NP1,EP1> in,
MutableGraph<N2,E2,NP2,EP2> out,
Mapping<? super NP1,? extends NP2> npConversion,
Mapping<? super EP1,? extends EP2> epConversion) |
Modifier and Type | Method and Description |
---|---|
static <S,L> MinimizationResult<S,L> |
Minimizer.minimize(UniversalGraph<S,?,?,L> graph)
Minimizes an automaton.
|
static <S,L> MinimizationResult<S,L> |
Minimizer.minimize(UniversalGraph<S,?,?,L> graph,
Collection<? extends S> start) |
<E> MinimizationResult<S,L> |
Minimizer.performMinimization(UniversalGraph<S,E,?,L> graph) |
<E> MinimizationResult<S,L> |
Minimizer.performMinimization(UniversalGraph<S,E,?,L> graph,
Collection<? extends S> initialNodes)
Performs the minimization of an automaton.
|
Copyright © 2019. All rights reserved.