public abstract class AbstractCompactDeterministic<I,T,SP,TP> extends AbstractMutableDeterministic<Integer,I,T,SP,TP> implements StateIDs<Integer>, FiniteAlphabetAutomaton<Integer,I,T>, Graph<Integer,TransitionEdge<I,T>>
| 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 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) |
addInitialState, addInitialState, addState, addTransition, addTransition, addTransition, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition, setInitial, setInitial, setTransition, setTransition, setTransitions, setTransitionsiterator, sizegetInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitionscreateDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetViewclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetTransitions, powersetViewsizecreateDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessorsgetState, getSuccessor, getSuccessorsetTransitionPropertygetTransitionPropertypublic static final float DEFAULT_RESIZE_FACTOR
public static final int DEFAULT_INIT_CAPACITY
protected final int alphabetSize
protected Object[] transitions
protected int stateCapacity
protected int numStates
protected int initial
protected final float resizeFactor
public AbstractCompactDeterministic(Alphabet<I> alphabet)
public AbstractCompactDeterministic(Alphabet<I> alphabet, int stateCapacity)
public AbstractCompactDeterministic(Alphabet<I> alphabet, float resizeFactor)
public AbstractCompactDeterministic(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)
protected void ensureCapacity()
public final void ensureCapacity(int newCapacity)
public void setInitialState(int stateId)
public void setInitialState(Integer state)
setInitialState in interface MutableDeterministic<Integer,I,T,SP,TP>public void setTransition(int state, int inputIdx, T trans)
public void setTransition(Integer state, I input, T transition)
setTransition in interface MutableDeterministic<Integer,I,T,SP,TP>public abstract T createTransition(int succId, TP property)
public T createTransition(Integer succ, TP property)
createTransition in interface MutableAutomaton<Integer,I,T,SP,TP>public T copyTransition(T trans, Integer succ)
copyTransition in interface MutableAutomaton<Integer,I,T,SP,TP>public abstract T copyTransition(T trans, int succId)
public abstract int getIntSuccessor(T transition)
public final Integer getSuccessor(T transition)
getSuccessor in interface TransitionSystem<Integer,I,T>public Collection<Integer> getStates()
getStates in interface SimpleAutomaton<Integer,I>public int getStateId(Integer state)
getStateId in interface StateIDs<Integer>public int getIntInitialState()
public Integer getInitialState()
getInitialState in interface SimpleDTS<Integer,I>public T getTransition(int stateId, int inputIdx)
public T getTransition(int stateId, I input)
public T getTransition(Integer state, I input)
getTransition in interface DeterministicTransitionSystem<Integer,I,T>public abstract SP getStateProperty(int stateId)
public SP getStateProperty(Integer state)
getStateProperty in interface UniversalTransitionSystem<Integer,I,T,SP,TP>protected final int createState()
public int addIntState(SP property)
public abstract void setStateProperty(int state, SP property)
public void setStateProperty(Integer state, SP property)
setStateProperty in interface MutableAutomaton<Integer,I,T,SP,TP>public void removeAllTransitions(Integer state)
removeAllTransitions in interface MutableAutomaton<Integer,I,T,SP,TP>public StateIDs<Integer> stateIDs()
stateIDs in interface SimpleAutomaton<Integer,I>stateIDs in class AbstractDeterministicAutomaton<Integer,I,T>public Alphabet<I> getInputAlphabet()
getInputAlphabet in interface InputAlphabetHolder<I>public Collection<TransitionEdge<I,T>> getOutgoingEdges(Integer node)
getOutgoingEdges in interface IndefiniteGraph<Integer,TransitionEdge<I,T>>public Integer getTarget(TransitionEdge<I,T> edge)
getTarget in interface IndefiniteGraph<Integer,TransitionEdge<I,T>>public <V> MutableMapping<Integer,V> createStaticNodeMapping()
createStaticNodeMapping in interface IndefiniteGraph<Integer,TransitionEdge<I,T>>public <V> MutableMapping<Integer,V> createDynamicNodeMapping()
createDynamicNodeMapping in interface IndefiniteGraph<Integer,TransitionEdge<I,T>>public Collection<Integer> getNodes()
Copyright © 2013. All Rights Reserved.