net.automatalib.automata.base.compact

Class AbstractCompactDeterministic<I,T,SP,TP>

java.lang.Object

net.automatalib.automata.base.compact.AbstractCompact<I,T,SP,TP>

net.automatalib.automata.base.compact.AbstractCompactDeterministic<I,T,SP,TP>

Type Parameters:

I - input symbol type

T - transition type

SP - state property type

TP - transition property type

All Implemented Interfaces:

Serializable, Iterable<Integer>, Automaton<Integer,I,T>, InputAlphabetHolder<I>, StateIDs<Integer>, StateLocalInput<Integer,I>, DeterministicAutomaton<Integer,I,T>, DeterministicAutomaton.FullIntAbstraction<T>, DeterministicAutomaton.IntAbstraction<T>, DeterministicAutomaton.StateIntAbstraction<I,T>, FiniteAlphabetAutomaton<Integer,I,T>, MutableAutomaton<Integer,I,T,SP,TP>, MutableDeterministic<Integer,I,T,SP,TP>, MutableDeterministic.FullIntAbstraction<T,SP,TP>, MutableDeterministic.IntAbstraction<T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>, SimpleAutomaton<Integer,I>, SimpleDeterministicAutomaton<Integer,I>, SimpleDeterministicAutomaton.FullIntAbstraction, SimpleDeterministicAutomaton.IntAbstraction, SimpleDeterministicAutomaton.StateIntAbstraction<I>, UniversalAutomaton<Integer,I,T,SP,TP>, UniversalDeterministicAutomaton<Integer,I,T,SP,TP>, UniversalDeterministicAutomaton.FullIntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>, UniversalDeterministicAutomaton.StateIntAbstraction<I,T,SP,TP>, UniversalFiniteAlphabetAutomaton<Integer,I,T,SP,TP>, GraphViewable, SupportsGrowingAlphabet<I>, DeterministicTransitionSystem<Integer,I,T>, SimpleDTS<Integer,I>, SimpleTS<Integer,I>, TransitionSystem<Integer,I,T>, UniversalDTS<Integer,I,T,SP,TP>, UniversalTransitionSystem<Integer,I,T,SP,TP>

Direct Known Subclasses:

AbstractCompactSimpleDeterministic, CompactMealy

@ParametersAreNonnullByDefault
public abstract class AbstractCompactDeterministic<I,T,SP,TP>
extends AbstractCompact<I,T,SP,TP>
implements MutableDeterministic<Integer,I,T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>, MutableDeterministic.FullIntAbstraction<T,SP,TP>, Serializable

Abstract super class that refines AbstractCompact for deterministic automata. This class provides default implementations for several of the MutableDeterministic.FullIntAbstraction concepts, such that subclasses only need to care about the primitive-based implementations.

Author:

frohme, Malte Isberner

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class net.automatalib.automata.base.compact.AbstractCompact

AbstractCompact.Payload

Nested classes/interfaces inherited from interface net.automatalib.automata.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.automata.MutableDeterministic.StateIntAbstraction

MutableDeterministic.StateIntAbstraction.DefaultAbstraction<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>>

Nested classes/interfaces inherited from interface net.automatalib.automata.MutableDeterministic.FullIntAbstraction

MutableDeterministic.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends MutableDeterministic.StateIntAbstraction<I,T,SP,TP>>

Field Summary

Fields inherited from class net.automatalib.automata.base.compact.AbstractCompact

DEFAULT_INIT_CAPACITY, DEFAULT_RESIZE_FACTOR, INVALID_STATE

Fields inherited from interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction

INVALID_STATE

Constructor Summary

Constructors

Constructor and Description
AbstractCompactDeterministic(Alphabet<I> alphabet, AbstractCompactDeterministic<?,?,?,?> other)
AbstractCompactDeterministic(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)

Method Summary

Modifier and Type	Method and Description
int	addIntInitialState(SP property)
void	clear()
T	createTransition(Integer successor, TP properties)
MutableDeterministic.FullIntAbstraction<T,SP,TP>	fullIntAbstraction(Alphabet<I> alphabet)
Integer	getInitialState()
int	getIntInitialState()
Collection<I>	getLocalInputs(Integer state)
SP	getStateProperty(Integer state)
Integer	getSuccessor(T transition)
T	getTransition(Integer state, I input)
T	getTransition(int state, I input)
DeterministicPowersetView<Integer,I,T>	powersetView()
void	setInitialState(int stateId)
void	setInitialState(Integer state)
void	setStateProperty(Integer state, SP property)
void	setTransition(Integer state, I input, T transition)
void	setTransition(int state, I input, int successor, TP property)
void	setTransition(int state, I input, T transition)
MutableDeterministic.StateIntAbstraction<I,T,SP,TP>	stateIntAbstraction()

Methods inherited from class net.automatalib.automata.base.compact.AbstractCompact

addAlphabetSymbol, addIntState, addState, getInputAlphabet, getState, getStateId, getStates, getSymbolIndex, numInputs, setStateProperty, size, stateIDs, toId, toMemoryIndex, toState, updateStateStorage, updateStateStorage, updateTransitionStorage, 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.automata.MutableDeterministic

addTransition, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setTransition, setTransitions

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransitions, transToSet

Methods inherited from interface net.automatalib.ts.simple.SimpleDTS

getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet

Methods inherited from interface net.automatalib.automata.MutableAutomaton

addInitialState, addInitialState, addState, addState, addTransition, addTransitions, copyTransition, removeAllTransitions, setTransitionProperty

Methods inherited from interface net.automatalib.automata.UniversalAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automata.simple.SimpleAutomaton

createStaticStateMapping, getStates, iterator, size, stateIDs

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getTransitionProperty

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

createDynamicStateMapping, getSuccessors

Methods inherited from interface net.automatalib.automata.UniversalDeterministicAutomaton.StateIntAbstraction

getTransitionProperty

Methods inherited from interface net.automatalib.automata.DeterministicAutomaton.StateIntAbstraction

getSuccessor

Methods inherited from interface net.automatalib.automata.MutableDeterministic.FullIntAbstraction

setTransition, setTransition

Methods inherited from interface net.automatalib.automata.MutableDeterministic.IntAbstraction

addIntInitialState, addIntState, addIntState, createTransition, setStateProperty, setTransitionProperty

Methods inherited from interface net.automatalib.automata.UniversalDeterministicAutomaton.FullIntAbstraction

getTransitionProperty

Methods inherited from interface net.automatalib.automata.UniversalDeterministicAutomaton.IntAbstraction

getStateProperty, getTransitionProperty

Methods inherited from interface net.automatalib.automata.DeterministicAutomaton.FullIntAbstraction

getSuccessor, getTransition

Methods inherited from interface net.automatalib.automata.DeterministicAutomaton.IntAbstraction

getIntSuccessor

Methods inherited from interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.FullIntAbstraction

numInputs

Methods inherited from interface net.automatalib.automata.simple.SimpleDeterministicAutomaton.IntAbstraction

size

Methods inherited from interface net.automatalib.automata.UniversalFiniteAlphabetAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automata.FiniteAlphabetAutomaton

graphView

Constructor Detail

AbstractCompactDeterministic

public AbstractCompactDeterministic(Alphabet<I> alphabet,
                                    int stateCapacity,
                                    float resizeFactor)

AbstractCompactDeterministic

public AbstractCompactDeterministic(Alphabet<I> alphabet,
                                    AbstractCompactDeterministic<?,?,?,?> other)

Method Detail

setInitialState

public void setInitialState(@Nullable
                            Integer state)

Specified by:

setInitialState in interface MutableDeterministic<Integer,I,T,SP,TP>

setInitialState

public void setInitialState(int stateId)

Specified by:

setInitialState in interface MutableDeterministic.IntAbstraction<T,SP,TP>

getStateProperty

@Nullable
public SP getStateProperty(Integer state)

Specified by:

getStateProperty in interface UniversalTransitionSystem<Integer,I,T,SP,TP>

getIntInitialState

public int getIntInitialState()

Specified by:

getIntInitialState in interface SimpleDeterministicAutomaton.IntAbstraction

getInitialState

public Integer getInitialState()

Specified by:

getInitialState in interface SimpleDTS<Integer,I>

getTransition

public T getTransition(int state,
                       @Nullable
                       I input)

Specified by:

getTransition in interface DeterministicAutomaton.StateIntAbstraction<I,T>

getTransition

@Nullable
public T getTransition(Integer state,
                                 @Nullable
                                 I input)

Specified by:

getTransition in interface DeterministicTransitionSystem<Integer,I,T>

setTransition

public void setTransition(Integer state,
                          @Nullable
                          I input,
                          @Nullable
                          T transition)

Specified by:

setTransition in interface MutableDeterministic<Integer,I,T,SP,TP>

setTransition

public void setTransition(int state,
                          I input,
                          T transition)

Specified by:

setTransition in interface MutableDeterministic.StateIntAbstraction<I,T,SP,TP>

setTransition

public void setTransition(int state,
                          I input,
                          int successor,
                          TP property)

Specified by:

setTransition in interface MutableDeterministic.StateIntAbstraction<I,T,SP,TP>

setStateProperty

public void setStateProperty(Integer state,
                             @Nullable
                             SP property)

Specified by:

setStateProperty in interface MutableAutomaton<Integer,I,T,SP,TP>

createTransition

@Nonnull
public T createTransition(Integer successor,
                                   @Nullable
                                   TP properties)

Specified by:

createTransition in interface MutableAutomaton<Integer,I,T,SP,TP>

addIntInitialState

public int addIntInitialState(@Nullable
                              SP property)

Specified by:

addIntInitialState in interface MutableDeterministic.IntAbstraction<T,SP,TP>

getSuccessor

public Integer getSuccessor(T transition)

Specified by:

getSuccessor in interface TransitionSystem<Integer,I,T>

clear

public void clear()

Specified by:

clear in interface MutableAutomaton<Integer,I,T,SP,TP>

Overrides:

clear in class AbstractCompact<I,T,SP,TP>

fullIntAbstraction

public MutableDeterministic.FullIntAbstraction<T,SP,TP> fullIntAbstraction(Alphabet<I> alphabet)

Specified by:

fullIntAbstraction in interface DeterministicAutomaton<Integer,I,T>

Specified by:

fullIntAbstraction in interface MutableDeterministic<Integer,I,T,SP,TP>

Specified by:

fullIntAbstraction in interface SimpleDeterministicAutomaton<Integer,I>

Specified by:

fullIntAbstraction in interface UniversalDeterministicAutomaton<Integer,I,T,SP,TP>

stateIntAbstraction

public MutableDeterministic.StateIntAbstraction<I,T,SP,TP> stateIntAbstraction()

Specified by:

stateIntAbstraction in interface DeterministicAutomaton<Integer,I,T>

Specified by:

stateIntAbstraction in interface MutableDeterministic<Integer,I,T,SP,TP>

Specified by:

stateIntAbstraction in interface SimpleDeterministicAutomaton<Integer,I>

Specified by:

stateIntAbstraction in interface UniversalDeterministicAutomaton<Integer,I,T,SP,TP>

powersetView

public DeterministicPowersetView<Integer,I,T> powersetView()

Specified by:

powersetView in interface TransitionSystem<Integer,I,T>

getLocalInputs

public Collection<I> getLocalInputs(Integer state)

Specified by:

getLocalInputs in interface StateLocalInput<Integer,I>

Overrides:

getLocalInputs in class AbstractCompact<I,T,SP,TP>