public class UniversalCompactSimpleDet<I,SP> extends AbstractCompactSimpleDet<I,SP>
MutableDeterministic.FullIntAbstraction<T,SP,TP>, MutableDeterministic.IntAbstraction<T,SP,TP>, MutableDeterministic.StateIntAbstraction<I,T,SP,TP>
MutableDeterministic.StateIntAbstraction.DefaultAbstraction<S,I,T,SP,TP,A extends MutableDeterministic<S,I,T,SP,TP>>
MutableDeterministic.FullIntAbstraction.DefaultAbstraction<I,T,SP,TP,A extends MutableDeterministic.StateIntAbstraction<I,T,SP,TP>>
alphabet, alphabetSize, DEFAULT_INIT_CAPACITY, DEFAULT_RESIZE_FACTOR, initial, numStates, resizeFactor, stateCapacity, transitions
INVALID_STATE
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)
Retrieves the state property of a given (abstracted) state.
|
void |
initState(int stateId,
SP property) |
void |
setStateProperty(int stateId,
SP property) |
addIntInitialState, addIntInitialState, addIntState, addIntState, addState, copyTransition, createTransition, createTransition, ensureCapacity, fullIntAbstraction, fullIntAbstraction, getInitialState, getInputAlphabet, getIntInitialState, getIntState, getIntSuccessor, getIntSuccessor, getIntSuccessor, getIntTransition, getIntTransition, getState, getState, getStateId, getStateProperty, getStates, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransition, getTransition, getTransition, getTransitionProperty, numInputs, removeAllTransitions, removeAllTransitions, setInitialState, setInitialState, setStateProperty, setTransition, setTransition, setTransition, setTransition, setTransition, setTransition, setTransition, setTransition, setTransitionProperty, size, stateIDs, stateIntAbstraction, unwrapState, wrapState
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
addTransition, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setTransitions
getTransitionProperty
getSuccessor, getSuccessors, getTransitions, transToSet
getInitialStates, getStates, getSuccessors, stateToSet
addInitialState, addInitialState, addState, addTransition, addTransitions
transitionGraphView
createStaticStateMapping, iterator
forEach, spliterator
powersetView
createDynamicStateMapping, getSuccessors
transitionGraphView
graphView
getTransitionProperty
getTransitionProperty
public UniversalCompactSimpleDet(Alphabet<I> alphabet, float resizeFactor)
public UniversalCompactSimpleDet(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)
public SP getStateProperty(int stateId)
UniversalDeterministicAutomaton.IntAbstraction
getStateProperty
in interface UniversalDeterministicAutomaton.IntAbstraction<Integer,SP,Void>
getStateProperty
in class AbstractCompactSimpleDet<I,SP>
stateId
- the integer representing the state of which to retrieve the propertypublic void initState(int stateId, SP property)
initState
in class AbstractCompactSimpleDet<I,SP>
public void setStateProperty(int stateId, SP property)
setStateProperty
in interface MutableDeterministic.IntAbstraction<Integer,SP,Void>
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.