public class UniversalCompactSimpleDet<I,SP> extends AbstractCompactSimpleDet<I,SP>
alphabet, alphabetSize, DEFAULT_INIT_CAPACITY, DEFAULT_RESIZE_FACTOR, initial, numStates, resizeFactor, stateCapacity, transitions
Constructor and Description |
---|
UniversalCompactSimpleDet(Alphabet<I> alphabet) |
UniversalCompactSimpleDet(Alphabet<I> alphabet,
float resizeFactor) |
UniversalCompactSimpleDet(Alphabet<I> alphabet,
int stateCapacity) |
UniversalCompactSimpleDet(Alphabet<I> alphabet,
int stateCapacity,
float resizeFactor) |
Modifier and Type | Method and Description |
---|---|
void |
clear()
Removes all states and transitions.
|
protected void |
ensureCapacity(int oldCap,
int newCap) |
SP |
getStateProperty(int stateId) |
void |
initState(int stateId,
SP property) |
void |
setStateProperty(int stateId,
SP property) |
addIntInitialState, addIntInitialState, addIntState, addIntState, addState, copyTransition, createTransition, ensureCapacity, getInitialState, getInputAlphabet, getIntInitialState, getIntState, getIntSuccessor, getIntSuccessor, getIntTransition, getState, getState, getStateId, getStateProperty, getStates, getSuccessor, getSuccessor, getTransition, getTransitionProperty, removeAllTransitions, removeAllTransitions, setInitialState, setInitialState, setStateProperty, setTransition, setTransition, setTransition, setTransitionProperty, size, stateIDs, wrapState
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
addTransition, removeAllTransitions, removeTransition, setInitial, setTransition, setTransitions
getSuccessor, getSuccessors, getTransitions, transToSet
getInitialStates, getStates, getSuccessors, stateToSet
addInitialState, addInitialState, addState, addTransition, addTransitions
transitionGraphView
createStaticStateMapping, iterator
forEach, spliterator
powersetView
createDynamicStateMapping, getSuccessors
transitionGraphView
graphView
public UniversalCompactSimpleDet(Alphabet<I> alphabet, float resizeFactor)
public UniversalCompactSimpleDet(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)
public SP getStateProperty(int stateId)
getStateProperty
in class AbstractCompactSimpleDet<I,SP>
public void initState(int stateId, SP property)
initState
in class AbstractCompactSimpleDet<I,SP>
public void setStateProperty(int stateId, SP property)
setStateProperty
in class AbstractCompactSimpleDet<I,SP>
protected void ensureCapacity(int oldCap, int newCap)
ensureCapacity
in class AbstractCompactSimpleDet<I,SP>
public void clear()
MutableAutomaton
Copyright © 2015. All rights reserved.