public class UniversalCompactSimpleDet<I,SP> extends AbstractCompactSimpleDet<I,SP>
DEFAULT_INIT_CAPACITY, DEFAULT_RESIZE_FACTOR
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) |
addIntState, addState, copyTransition, createDynamicNodeMapping, createStaticNodeMapping, createTransition, ensureCapacity, getEdgeProperty, getGraphDOTHelper, getInitialState, getInputAlphabet, getNode, getNodeId, getNodeProperty, getNodes, getOutgoingEdges, getState, getStateId, getStateProperty, getStates, getSuccessor, getTarget, getTransition, getTransitionProperty, nodeIDs, removeAllTransitions, removeAllTransitions, setInitialState, setInitialState, setStateProperty, setTransition, setTransition, setTransition, setTransitionProperty, size, stateIDs
addInitialState, addInitialState, addState, addTransition, addTransition, addTransition, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition, setInitial, setInitial, setTransition, setTransition, setTransitions, setTransitions
iterator
getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions
createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getTransitions, powersetView
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
forEach, iterator, spliterator
getState, getSuccessor, getSuccessor
public UniversalCompactSimpleDet(Alphabet<I> alphabet, float resizeFactor)
public UniversalCompactSimpleDet(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)
public UniversalCompactSimpleDet(Alphabet<I> alphabet, int stateCapacity)
public UniversalCompactSimpleDet(Alphabet<I> alphabet)
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.