Uses of Interface
net.automatalib.automaton.transducer.SubsequentialTransducer
-
Packages that use SubsequentialTransducer Package Description net.automatalib.automaton.transducer net.automatalib.automaton.visualization net.automatalib.util.automaton.transducer -
-
Uses of SubsequentialTransducer in net.automatalib.automaton.transducer
Classes in net.automatalib.automaton.transducer with type parameters of type SubsequentialTransducer Modifier and Type Class Description static class
SubsequentialTransducer.SSTGraphView<S,I,T,O,A extends SubsequentialTransducer<S,I,T,O>>
Subinterfaces of SubsequentialTransducer in net.automatalib.automaton.transducer Modifier and Type Interface Description interface
MutableSubsequentialTransducer<S,I,T,O>
Amutable
extension of aSubsequentialTransducer
.Classes in net.automatalib.automaton.transducer that implement SubsequentialTransducer Modifier and Type Class Description class
CompactSST<I,O>
-
Uses of SubsequentialTransducer in net.automatalib.automaton.visualization
Constructors in net.automatalib.automaton.visualization with parameters of type SubsequentialTransducer Constructor Description SSTVisualizationHelper(SubsequentialTransducer<S,I,T,O> automaton)
-
Uses of SubsequentialTransducer in net.automatalib.util.automaton.transducer
Methods in net.automatalib.util.automaton.transducer with parameters of type SubsequentialTransducer Modifier and Type Method Description static <S,I,T,O>
booleanSubsequentialTransducers. isOnwardSST(SubsequentialTransducer<S,I,T,O> sst, Collection<? extends I> inputs)
Checks whether a givenSubsequentialTransducer
is onward, i.e. if for each state (sans initial state) the longest common prefix over its state property and the transition properties of its outgoing edges equalsepsilon
.static <S1,S2,I,T1,T2,O,A extends MutableSubsequentialTransducer<S2,I,T2,O>>
ASubsequentialTransducers. toOnwardSST(SubsequentialTransducer<S1,I,T1,O> sst, Collection<? extends I> inputs, A out)
Constructs a new onward subsequential transducer for a givenSST
.static <S1,S2,I,T1,T2,O,A extends MutableSubsequentialTransducer<S2,I,T2,O>>
ASubsequentialTransducers. toOnwardSST(SubsequentialTransducer<S1,I,T1,O> sst, Collection<? extends I> inputs, A out, boolean minimize)
Constructs a new onward subsequential transducer for a givenSST
.
-