net.automatalib.automata.base.compact

Class AbstractCompactDeterministic<I,T,SP,TP>

java.lang.Object

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

All Implemented Interfaces:

Iterable<Integer>, Automaton<Integer,I,T>, InputAlphabetHolder<I>, StateIDs<Integer>, 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:

CompactMealy

public abstract class AbstractCompactDeterministic<I,T,SP,TP>
extends Object
implements MutableDeterministic<Integer,I,T,SP,TP>, StateIDs<Integer>, UniversalFiniteAlphabetAutomaton<Integer,I,T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>, MutableDeterministic.FullIntAbstraction<T,SP,TP>

Nested Class Summary

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

Modifier and Type	Field and Description
protected Alphabet<I>	alphabet
protected int	alphabetSize
static int	DEFAULT_INIT_CAPACITY
static float	DEFAULT_RESIZE_FACTOR
protected int	initial
protected int	numStates
protected float	resizeFactor
protected int	stateCapacity
protected Object[]	transitions

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

INVALID_STATE

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
int	addIntInitialState()
int	addIntInitialState(SP property)
int	addIntState()
int	addIntState(SP property)
Integer	addState(SP property)
void	clear()
abstract T	copyTransition(T trans, int succId)
T	copyTransition(T trans, Integer succ)
protected int	createState()
T	createTransition(Integer succ, TP property)
abstract T	createTransition(int succId, TP property)
protected void	ensureCapacity()
void	ensureCapacity(int newCapacity)
MutableDeterministic.FullIntAbstraction<T,SP,TP>	fullIntAbstraction()
MutableDeterministic.FullIntAbstraction<T,SP,TP>	fullIntAbstraction(Alphabet<I> alphabet)
protected static int	getId(Integer id)
Integer	getInitialState()
Alphabet<I>	getInputAlphabet()
int	getIntInitialState()
Integer	getState(int id)
int	getStateId(Integer state)
abstract SP	getStateProperty(int stateId)
SP	getStateProperty(Integer state)
Collection<Integer>	getStates()
Integer	getSuccessor(T transition)
T	getTransition(Integer state, I input)
T	getTransition(int stateId, I input)
T	getTransition(int stateId, int inputIdx)
protected static Integer	makeId(int id)
int	numInputs()
void	removeAllTransitions(Integer state)
void	setInitialState(int stateId)
void	setInitialState(Integer state)
void	setStateProperty(Integer state, SP property)
abstract void	setStateProperty(int state, SP property)
void	setTransition(Integer state, I input, T transition)
void	setTransition(int stateId, I input, int succId, TP property)
void	setTransition(int stateId, int inputIdx, int succId)
void	setTransition(int stateId, int inputIdx, int succId, TP property)
void	setTransition(int state, int inputIdx, T trans)
void	setTransition(int state, I input, T trans)
int	size()
StateIDs<Integer>	stateIDs()
MutableDeterministic.StateIntAbstraction<I,T,SP,TP>	stateIntAbstraction()

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, addTransition, addTransitions, setTransitionProperty

Methods inherited from interface net.automatalib.automata.UniversalAutomaton

transitionGraphView

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

createStaticStateMapping, iterator

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

powersetView

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

createDynamicStateMapping, getSuccessors

Methods inherited from interface net.automatalib.automata.UniversalFiniteAlphabetAutomaton

transitionGraphView

Methods inherited from interface net.automatalib.automata.FiniteAlphabetAutomaton

graphView

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

setTransitionProperty

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

getTransitionProperty

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

getTransitionProperty

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

getSuccessor

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

getIntSuccessor

Field Detail

DEFAULT_RESIZE_FACTOR

public static final float DEFAULT_RESIZE_FACTOR

See Also:

Constant Field Values

DEFAULT_INIT_CAPACITY

public static final int DEFAULT_INIT_CAPACITY

See Also:

Constant Field Values

alphabet

protected final Alphabet<I> alphabet

alphabetSize

protected final int alphabetSize

transitions

protected Object[] transitions

stateCapacity

protected int stateCapacity

numStates

protected int numStates

initial

protected int initial

resizeFactor

protected final float resizeFactor

Constructor Detail

AbstractCompactDeterministic

public AbstractCompactDeterministic(Alphabet<I> alphabet)

AbstractCompactDeterministic

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

AbstractCompactDeterministic

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

AbstractCompactDeterministic

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

Method Detail

getId

protected static final int getId(Integer id)

makeId

protected static final Integer makeId(int id)

ensureCapacity

protected void ensureCapacity()

ensureCapacity

public final void ensureCapacity(int newCapacity)

size

public int size()

Specified by:

size in interface SimpleAutomaton<Integer,I>

Specified by:

size in interface SimpleDeterministicAutomaton.IntAbstraction

setInitialState

public void setInitialState(int stateId)

Specified by:

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

setInitialState

public void setInitialState(Integer state)

Specified by:

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

setTransition

public void setTransition(int state,
                          int inputIdx,
                          T trans)

Specified by:

setTransition in interface MutableDeterministic.FullIntAbstraction<T,SP,TP>

setTransition

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

Specified by:

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

setTransition

public void setTransition(int stateId,
                          int inputIdx,
                          int succId)

setTransition

public void setTransition(int stateId,
                          int inputIdx,
                          int succId,
                          TP property)

Specified by:

setTransition in interface MutableDeterministic.FullIntAbstraction<T,SP,TP>

setTransition

public void setTransition(int stateId,
                          I input,
                          int succId,
                          TP property)

Specified by:

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

setTransition

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

Specified by:

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

createTransition

public abstract T createTransition(int succId,
                                   TP property)

Specified by:

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

createTransition

public T createTransition(Integer succ,
                          TP property)

Specified by:

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

copyTransition

public T copyTransition(T trans,
                        Integer succ)

Specified by:

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

copyTransition

public abstract T copyTransition(T trans,
                                 int succId)

getSuccessor

public final Integer getSuccessor(T transition)

Specified by:

getSuccessor in interface TransitionSystem<Integer,I,T>

getStates

public Collection<Integer> getStates()

Specified by:

getStates in interface SimpleAutomaton<Integer,I>

getState

public Integer getState(int id)

Specified by:

getState in interface StateIDs<Integer>

getStateId

public int getStateId(Integer state)

Specified by:

getStateId in interface StateIDs<Integer>

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 stateId,
                       int inputIdx)

Specified by:

getTransition in interface DeterministicAutomaton.FullIntAbstraction<T>

getTransition

public T getTransition(int stateId,
                       I input)

Specified by:

getTransition in interface DeterministicAutomaton.StateIntAbstraction<I,T>

getTransition

public T getTransition(Integer state,
                       I input)

Specified by:

getTransition in interface DeterministicTransitionSystem<Integer,I,T>

getStateProperty

public abstract SP getStateProperty(int stateId)

Specified by:

getStateProperty in interface UniversalDeterministicAutomaton.IntAbstraction<T,SP,TP>

getStateProperty

public SP getStateProperty(Integer state)

Specified by:

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

clear

public void clear()

Specified by:

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

createState

protected final int createState()

addIntInitialState

public int addIntInitialState(SP property)

Specified by:

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

addIntInitialState

public int addIntInitialState()

Specified by:

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

addIntState

public int addIntState()

Specified by:

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

addIntState

public int addIntState(SP property)

Specified by:

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

addState

public Integer addState(SP property)

Specified by:

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

setStateProperty

public abstract void setStateProperty(int state,
                                      SP property)

Specified by:

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

setStateProperty

public void setStateProperty(Integer state,
                             SP property)

Specified by:

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

removeAllTransitions

public void removeAllTransitions(Integer state)

Specified by:

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

stateIDs

public StateIDs<Integer> stateIDs()

Specified by:

stateIDs in interface SimpleAutomaton<Integer,I>

getInputAlphabet

public Alphabet<I> getInputAlphabet()

Specified by:

getInputAlphabet in interface InputAlphabetHolder<I>

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>

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>

fullIntAbstraction

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

numInputs

public int numInputs()

Specified by:

numInputs in interface SimpleDeterministicAutomaton.FullIntAbstraction