public class CompactDFA<I> extends AbstractCompactSimpleDet<I,Boolean> implements MutableDFA<Integer,I>
Modifier and Type | Class and Description |
---|---|
static class |
CompactDFA.Creator<I> |
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>>
Modifier and Type | Field and Description |
---|---|
static int |
DEFAULT_INIT_CAPACITY |
static float |
DEFAULT_RESIZE_FACTOR |
alphabet, alphabetSize, initial, numStates, resizeFactor, stateCapacity, transitions
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 |
addInitialState(boolean accepting) |
Integer |
addState(boolean accepting) |
void |
clear()
Removes all states and transitions.
|
void |
ensureCapacity(int oldCap,
int newCap) |
void |
flipAcceptance() |
Boolean |
getStateProperty(int stateId)
Retrieves the state property of a given (abstracted) state.
|
void |
initState(int stateId,
Boolean property) |
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,
Boolean property) |
<I2> CompactDFA<I2> |
translate(Alphabet<I2> newAlphabet) |
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
accepts, computeOutput, computeStateOutput, computeSuffixOutput, isAccepting
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
transitionGraphView
getStateProperty, getSuccessor, getTransitionProperty
powersetView
createStaticStateMapping, getStates, iterator, size, stateIDs
createDynamicStateMapping, getSuccessors
forEach, spliterator
addTransition, fullIntAbstraction, fullIntAbstraction, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions, stateIntAbstraction
getTransitionProperty
addInitialState, addInitialState, addState, addState, copyTransition, createTransition, setStateProperty, setTransitionProperty
addTransition, addTransitions, removeAllTransitions
transitionGraphView
graphView
getTransitionProperty
getTransitionProperty
public static final float DEFAULT_RESIZE_FACTOR
public static final int DEFAULT_INIT_CAPACITY
public CompactDFA(CompactDFA<I> other)
protected CompactDFA(Alphabet<I> alphabet, CompactDFA<?> other)
public <I2> CompactDFA<I2> translate(Alphabet<I2> newAlphabet)
public void ensureCapacity(int oldCap, int newCap)
ensureCapacity
in class AbstractCompactSimpleDet<I,Boolean>
public void flipAcceptance()
flipAcceptance
in interface MutableFSA<Integer,I>
public void clear()
MutableAutomaton
public void setAccepting(int state, boolean accepting)
public void setAccepting(Integer state, boolean accepting)
setAccepting
in interface MutableFSA<Integer,I>
public Integer addState(boolean accepting)
addState
in interface MutableFSA<Integer,I>
public 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.public Boolean getStateProperty(int stateId)
UniversalDeterministicAutomaton.IntAbstraction
getStateProperty
in interface UniversalDeterministicAutomaton.IntAbstraction<Integer,Boolean,Void>
getStateProperty
in class AbstractCompactSimpleDet<I,Boolean>
stateId
- the integer representing the state of which to retrieve the propertypublic void initState(int stateId, Boolean property)
initState
in class AbstractCompactSimpleDet<I,Boolean>
public void setStateProperty(int stateId, Boolean property)
setStateProperty
in interface MutableDeterministic.IntAbstraction<Integer,Boolean,Void>
setStateProperty
in class AbstractCompactSimpleDet<I,Boolean>
public Integer addInitialState(boolean accepting)
addInitialState
in interface MutableFSA<Integer,I>
Copyright © 2015. All rights reserved.