Package net.automatalib.automaton.transducer

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 extends Object>, DeterministicAutomaton.IntAbstraction<T extends Object>, DeterministicAutomaton.StateIntAbstraction<I extends Object,T extends Object>

Nested classes/interfaces inherited from interface net.automatalib.automaton.MutableDeterministic

MutableDeterministic.FullIntAbstraction<T extends Object,SP extends Object,TP extends Object>, MutableDeterministic.IntAbstraction<T extends Object,SP extends Object,TP extends Object>, MutableDeterministic.StateIntAbstraction<I extends Object,T extends Object,SP extends Object,TP extends Object>

Nested classes/interfaces inherited from interface net.automatalib.automaton.transducer.SubsequentialTransducer

SubsequentialTransducer.SSTGraphView<S extends Object,I extends Object,T extends Object,O extends Object,A extends SubsequentialTransducer<S,I,T,O>>

Nested classes/interfaces inherited from interface net.automatalib.automaton.UniversalDeterministicAutomaton

UniversalDeterministicAutomaton.FullIntAbstraction<T extends Object,SP extends Object,TP extends Object>, UniversalDeterministicAutomaton.IntAbstraction<T extends Object,SP extends Object,TP extends Object>, UniversalDeterministicAutomaton.StateIntAbstraction<I extends Object,T extends Object,SP extends Object,TP extends Object>

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(Alphabet<I> alphabet)

CompactSST

public CompactSST(CompactSST<I,O> other)