public class CompactDFA<I> extends AbstractCompactSimpleDeterministic<I,Boolean> implements MutableDFA<Integer,I>
Modifier and Type | Class and Description |
---|---|
static class |
CompactDFA.Creator<I> |
AbstractCompact.Payload
FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>
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>>
transitions
DEFAULT_INIT_CAPACITY, DEFAULT_RESIZE_FACTOR, INVALID_STATE
STATE_PROPERTIES, TRANSITION_PROPERTIES
INVALID_STATE
Modifier | Constructor and Description |
---|---|
|
CompactDFA(Alphabet<I> alphabet) |
protected |
CompactDFA(Alphabet<I> alphabet,
CompactDFA<?> other) |
|
CompactDFA(Alphabet<I> alphabet,
float resizeFactor) |
|
CompactDFA(Alphabet<I> alphabet,
int stateCapacity) |
|
CompactDFA(Alphabet<I> alphabet,
int stateCapacity,
float resizeFactor) |
|
CompactDFA(CompactDFA<I> other) |
Modifier and Type | Method and Description |
---|---|
Integer |
addState(boolean accepting) |
void |
clear()
Removes all states and transitions.
|
void |
flipAcceptance() |
Boolean |
getStateProperty(int stateId)
Retrieves the state property of a given (abstracted) state.
|
boolean |
isAccepting(int stateId) |
boolean |
isAccepting(Integer state)
Checks whether the given state is accepting.
|
void |
setAccepting(int state,
boolean accepting) |
void |
setAccepting(Integer state,
boolean accepting) |
void |
setStateProperty(int stateId,
@Nullable Boolean property) |
<I2> CompactDFA<I2> |
translate(Alphabet<I2> newAlphabet) |
createTransition, getIntSuccessor, getState, getSuccessor, getTransition, getTransitionProperty, removeAllTransitions, setTransition, setTransition, setTransition, setTransitionProperty, updateTransitionStorage
addIntInitialState, createTransition, fullIntAbstraction, getInitialState, getIntInitialState, getLocalInputs, getStateProperty, getSuccessor, getTransition, getTransition, powersetView, setInitialState, setInitialState, setStateProperty, setTransition, setTransition, setTransition, stateIntAbstraction
addAlphabetSymbol, addIntState, addState, getInputAlphabet, getState, getStateId, getStates, getSymbolIndex, numInputs, size, stateIDs, toId, toMemoryIndex, toState, updateStateStorage, updateStateStorage, updateTransitionStorage, updateTransitionStorage, updateTransitionStorage
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
accepts, computeOutput, computeStateOutput, computeSuffixOutput, isAccepting
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
transitionGraphView
getStateProperty, getSuccessor, getTransitionProperty
powersetView
createDynamicStateMapping, createStaticStateMapping, getStates, iterator, size, stateIDs
getSuccessors
forEach, spliterator
addTransition, fullIntAbstraction, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions, stateIntAbstraction
getTransitionProperty
addInitialState, addInitialState, addInitialState, addState, addState, copyTransition, createTransition, setStateProperty, setTransitionProperty
addTransition, addTransitions, removeAllTransitions
getTransitionProperty
getSuccessor
addIntInitialState, addIntState, addIntState
getTransitionProperty
getSuccessor
numInputs
size
transitionGraphView
graphView
public CompactDFA(CompactDFA<I> other)
protected CompactDFA(Alphabet<I> alphabet, CompactDFA<?> other)
public <I2> CompactDFA<I2> translate(Alphabet<I2> newAlphabet)
public void flipAcceptance()
flipAcceptance
in interface MutableFSA<Integer,I>
public void setAccepting(Integer state, boolean accepting)
setAccepting
in interface MutableFSA<Integer,I>
public void setAccepting(int state, boolean accepting)
public Integer addState(boolean accepting)
addState
in interface MutableFSA<Integer,I>
public void clear()
MutableAutomaton
public void setStateProperty(int stateId, @Nullable Boolean property)
setStateProperty
in interface MutableDeterministic.IntAbstraction<Integer,Boolean,Void>
setStateProperty
in class AbstractCompact<I,Integer,Boolean,Void>
public Boolean getStateProperty(int stateId)
UniversalDeterministicAutomaton.IntAbstraction
getStateProperty
in interface UniversalDeterministicAutomaton.IntAbstraction<Integer,Boolean,Void>
stateId
- the integer representing the state of which to retrieve the propertypublic boolean isAccepting(int stateId)
public boolean isAccepting(Integer state)
AcceptorTS
isAccepting
in interface AcceptorTS<Integer,I>
state
- the statetrue
if the state is accepting, false
otherwise.Copyright © 2020. All rights reserved.