Package net.automatalib.automaton.base

Class AbstractCompactDeterministic<I,T,SP,TP>

java.lang.Object

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

net.automatalib.automaton.base.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:

Iterable<Integer>, SupportsGrowingAlphabet<I>, Automaton<Integer,I,T>, FiniteRepresentation, 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, 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, UniversalCompactDet

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>

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.

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.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>

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

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

Method Summary

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

Methods inherited from class net.automatalib.automaton.base.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.automaton.DeterministicAutomaton.FullIntAbstraction

getSuccessor, getTransition

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

getIntSuccessor

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

getSuccessor

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransitions

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, copyTransition, removeAllTransitions, setTransitionProperty

Methods inherited from interface net.automatalib.automaton.MutableDeterministic

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

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

setTransition, setTransition

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

addIntInitialState, addIntState, addIntState, createTransition, setStateProperty, setTransitionProperty

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

getInitialStates, getState, getStates, getSuccessor, getSuccessors, getSuccessors

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

getSuccessors

Methods inherited from interface net.automatalib.automaton.UniversalAutomaton

transitionGraphView

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

getTransitionProperty

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

getStateProperty, 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

getTransitionProperty

Constructor Detail

AbstractCompactDeterministic

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

AbstractCompactDeterministic

protected 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<I,T,SP>

getStateProperty

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 @Nullable Integer getInitialState()

Specified by:

getInitialState in interface SimpleDTS<I,T>

getTransition

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

Specified by:

getTransition in interface DeterministicAutomaton.StateIntAbstraction<I,T>

getTransition

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

Specified by:

getTransition in interface DeterministicTransitionSystem<I,T,SP>

setTransition

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

Specified by:

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

setTransition

public void setTransition(int state,
                          I input,
                          @Nullable 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,
                             SP property)

Specified by:

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

createTransition

public T createTransition(Integer successor,
                          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<I,T,SP>

getSuccessor

public Integer getSuccessor(T transition)

Specified by:

getSuccessor in interface TransitionSystem<I,T,SP>

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<I,T,SP>

Specified by:

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

Specified by:

fullIntAbstraction in interface SimpleDeterministicAutomaton<I,T>

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<I,T,SP>

Specified by:

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

Specified by:

stateIntAbstraction in interface SimpleDeterministicAutomaton<I,T>

Specified by:

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

powersetView

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

Specified by:

powersetView in interface TransitionSystem<I,T,SP>

getLocalInputs

public Collection<I> getLocalInputs(Integer state)

Specified by:

getLocalInputs in interface StateLocalInput<I,T>

Overrides:

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