Class CompactSST<I,O>
- java.lang.Object
-
- net.automatalib.automaton.base.AbstractCompact<I,T,SP,TP>
-
- net.automatalib.automaton.base.AbstractCompactDeterministic<I,CompactTransition<TP>,SP,TP>
-
- net.automatalib.automaton.UniversalCompactDet<I,Word<O>,Word<O>>
-
- net.automatalib.automaton.transducer.CompactSST<I,O>
-
- All Implemented Interfaces:
Iterable<Integer>
,SupportsGrowingAlphabet<I>
,Automaton<Integer,I,CompactTransition<Word<O>>>
,DetOutputAutomaton<Integer,I,CompactTransition<Word<O>>,Word<O>>
,DetSuffixOutputAutomaton<Integer,I,CompactTransition<Word<O>>,Word<O>>
,FiniteRepresentation
,InputAlphabetHolder<I>
,Output<I,Word<O>>
,OutputAutomaton<Integer,I,CompactTransition<Word<O>>,Word<O>>
,StateIDs<Integer>
,StateLocalInput<Integer,I>
,SuffixOutput<I,Word<O>>
,DeterministicAutomaton<Integer,I,CompactTransition<Word<O>>>
,DeterministicAutomaton.FullIntAbstraction<CompactTransition<Word<O>>>
,DeterministicAutomaton.IntAbstraction<CompactTransition<Word<O>>>
,DeterministicAutomaton.StateIntAbstraction<I,CompactTransition<Word<O>>>
,FiniteAlphabetAutomaton<Integer,I,CompactTransition<Word<O>>>
,MutableAutomaton<Integer,I,CompactTransition<Word<O>>,Word<O>,Word<O>>
,MutableDeterministic<Integer,I,CompactTransition<Word<O>>,Word<O>,Word<O>>
,MutableDeterministic.FullIntAbstraction<CompactTransition<Word<O>>,Word<O>,Word<O>>
,MutableDeterministic.IntAbstraction<CompactTransition<Word<O>>,Word<O>,Word<O>>
,MutableDeterministic.StateIntAbstraction<I,CompactTransition<Word<O>>,Word<O>,Word<O>>
,SimpleAutomaton<Integer,I>
,SimpleDeterministicAutomaton<Integer,I>
,SimpleDeterministicAutomaton.FullIntAbstraction
,SimpleDeterministicAutomaton.IntAbstraction
,SimpleDeterministicAutomaton.StateIntAbstraction<I>
,MutableSubsequentialTransducer<Integer,I,CompactTransition<Word<O>>,O>
,SubsequentialTransducer<Integer,I,CompactTransition<Word<O>>,O>
,UniversalAutomaton<Integer,I,CompactTransition<Word<O>>,Word<O>,Word<O>>
,UniversalDeterministicAutomaton<Integer,I,CompactTransition<Word<O>>,Word<O>,Word<O>>
,UniversalDeterministicAutomaton.FullIntAbstraction<CompactTransition<Word<O>>,Word<O>,Word<O>>
,UniversalDeterministicAutomaton.IntAbstraction<CompactTransition<Word<O>>,Word<O>,Word<O>>
,UniversalDeterministicAutomaton.StateIntAbstraction<I,CompactTransition<Word<O>>,Word<O>,Word<O>>
,UniversalFiniteAlphabetAutomaton<Integer,I,CompactTransition<Word<O>>,Word<O>,Word<O>>
,GraphViewable
,DeterministicTransitionSystem<Integer,I,CompactTransition<Word<O>>>
,DeterministicOutputTS<Integer,I,CompactTransition<Word<O>>,O>
,SimpleDTS<Integer,I>
,SimpleTS<Integer,I>
,TransitionSystem<Integer,I,CompactTransition<Word<O>>>
,UniversalDTS<Integer,I,CompactTransition<Word<O>>,Word<O>,Word<O>>
,UniversalTransitionSystem<Integer,I,CompactTransition<Word<O>>,Word<O>,Word<O>>
public class CompactSST<I,O> extends UniversalCompactDet<I,Word<O>,Word<O>> implements MutableSubsequentialTransducer<Integer,I,CompactTransition<Word<O>>,O>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class net.automatalib.automaton.base.AbstractCompact
AbstractCompact.Payload
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.DeterministicAutomaton
DeterministicAutomaton.FullIntAbstraction<T>, DeterministicAutomaton.IntAbstraction<T>, DeterministicAutomaton.StateIntAbstraction<I,T>
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.MutableDeterministic
MutableDeterministic.FullIntAbstraction<T,SP,TP>, MutableDeterministic.IntAbstraction<T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.transducer.SubsequentialTransducer
SubsequentialTransducer.SSTGraphView<S,I,T,O,A extends SubsequentialTransducer<S,I,T,O>>
-
Nested classes/interfaces inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton
UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>
-
-
Field Summary
-
Fields inherited from class net.automatalib.automaton.base.AbstractCompact
DEFAULT_INIT_CAPACITY, DEFAULT_RESIZE_FACTOR, INVALID_STATE
-
Fields inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.IntAbstraction
INVALID_STATE
-
-
Constructor Summary
Constructors Constructor Description CompactSST(Alphabet<I> alphabet)
CompactSST(CompactSST<I,O> other)
-
Method Summary
-
Methods inherited from class net.automatalib.automaton.UniversalCompactDet
clear, createTransition, getIntSuccessor, getStateProperty, getTransition, getTransitionProperty, removeAllTransitions, setStateProperty, setTransition, setTransition, setTransitionProperty, updateStateStorage, updateTransitionStorage
-
Methods inherited from class net.automatalib.automaton.base.AbstractCompactDeterministic
addIntInitialState, createTransition, fullIntAbstraction, getInitialState, getIntInitialState, getLocalInputs, getStateProperty, getSuccessor, getTransition, getTransition, powersetView, setInitialState, setInitialState, setStateProperty, setTransition, setTransition, setTransition, stateIntAbstraction
-
Methods inherited from class net.automatalib.automaton.base.AbstractCompact
addAlphabetSymbol, addIntState, addState, getInputAlphabet, getState, getStateId, getStates, getSymbolIndex, numInputs, size, stateIDs, toId, toMemoryIndex, toState, updateStateStorage, updateTransitionStorage, updateTransitionStorage, updateTransitionStorage
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface net.automatalib.automaton.DeterministicAutomaton.FullIntAbstraction
getSuccessor
-
Methods inherited from interface net.automatalib.automaton.DeterministicAutomaton.StateIntAbstraction
getSuccessor
-
Methods inherited from interface net.automatalib.ts.output.DeterministicOutputTS
trace
-
Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem
getSuccessor, getSuccessors, getTransition, getTransitions
-
Methods inherited from interface net.automatalib.automaton.concept.DetSuffixOutputAutomaton
computeOutput, computeSuffixOutput
-
Methods inherited from interface net.automatalib.automaton.FiniteAlphabetAutomaton
getTransitions, graphView
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
Methods inherited from interface net.automatalib.automaton.MutableAutomaton
addInitialState, addInitialState, addState, addState, addTransition, addTransitions, clear, copyTransition, createTransition, removeAllTransitions, setStateProperty, setTransitionProperty
-
Methods inherited from interface net.automatalib.automaton.MutableDeterministic
addTransition, fullIntAbstraction, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions, stateIntAbstraction
-
Methods inherited from interface net.automatalib.automaton.MutableDeterministic.IntAbstraction
addIntInitialState, addIntState, addIntState
-
Methods inherited from interface net.automatalib.automaton.simple.SimpleAutomaton
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
-
Methods inherited from interface net.automatalib.automaton.simple.SimpleDeterministicAutomaton.FullIntAbstraction
numInputs
-
Methods inherited from interface net.automatalib.ts.simple.SimpleDTS
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, getSuccessors
-
Methods inherited from interface net.automatalib.ts.simple.SimpleTS
getSuccessors
-
Methods inherited from interface net.automatalib.automaton.transducer.SubsequentialTransducer
computeStateOutput, trace, transitionGraphView
-
Methods inherited from interface net.automatalib.ts.TransitionSystem
getSuccessor, powersetView
-
Methods inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton.FullIntAbstraction
getTransitionProperty
-
Methods inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton.StateIntAbstraction
getTransitionProperty
-
Methods inherited from interface net.automatalib.ts.UniversalDTS
getTransitionProperty
-
Methods inherited from interface net.automatalib.automaton.UniversalFiniteAlphabetAutomaton
transitionGraphView
-
Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem
getStateProperty, getTransitionProperty
-
-
-
-
Constructor Detail
-
CompactSST
public CompactSST(CompactSST<I,O> other)
-
-