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>, FiniteAlphabetAutomaton<Integer,I,T>, MutableAutomaton<Integer,I,T,SP,TP>, MutableDeterministic<Integer,I,T,SP,TP>, SimpleAutomaton<Integer,I>, SimpleDeterministicAutomaton<Integer,I>, UniversalAutomaton<Integer,I,T,SP,TP>, UniversalDeterministicAutomaton<Integer,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>

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

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)
protected static int	getId(Integer id)
Integer	getInitialState()
Alphabet<I>	getInputAlphabet()
int	getIntInitialState()
abstract int	getIntSuccessor(T transition)
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)
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, int inputIdx, int succId)
void	setTransition(int stateId, int inputIdx, int succId, TP property)
void	setTransition(int state, int inputIdx, T trans)
int	size()
StateIDs<Integer>	stateIDs()

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, removeAllTransitions, removeTransition, setInitial, setTransition, setTransitions

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

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>

setInitialState

public void setInitialState(int stateId)

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)

setTransition

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

setTransition

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

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)

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)

getIntSuccessor

public abstract int getIntSuccessor(T transition)

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()

getInitialState

public Integer getInitialState()

Specified by:

getInitialState in interface SimpleDTS<Integer,I>

getTransition

public T getTransition(int stateId,
                       int inputIdx)

getTransition

public T getTransition(int stateId,
                       I input)

getTransition

public T getTransition(Integer state,
                       I input)

Specified by:

getTransition in interface DeterministicTransitionSystem<Integer,I,T>

getStateProperty

public abstract SP getStateProperty(int stateId)

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)

addIntInitialState

public int addIntInitialState()

addIntState

public int addIntState()

addIntState

public int addIntState(SP property)

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)

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>