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>>
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
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) |
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) |
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, 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
accepts, isAccepting
computeOutput, computeSuffixOutput, transitionGraphView
getStateProperty, getSuccessor, getTransitionProperty
powersetView
createStaticStateMapping, getStates, iterator, size, stateIDs
createDynamicStateMapping, getSuccessors
forEach, spliterator
addTransition, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
addInitialState, addInitialState, addState, addState, copyTransition, createTransition, setStateProperty, setTransitionProperty
addTransition, addTransitions, removeAllTransitions
transitionGraphView
graphView
public static final float DEFAULT_RESIZE_FACTOR
public static final int DEFAULT_INIT_CAPACITY
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)
getStateProperty
in class AbstractCompactSimpleDet<I,Boolean>
public void initState(int stateId, Boolean property)
initState
in class AbstractCompactSimpleDet<I,Boolean>
public void setStateProperty(int stateId, Boolean property)
setStateProperty
in class AbstractCompactSimpleDet<I,Boolean>
public Integer addInitialState(boolean accepting)
addInitialState
in interface MutableFSA<Integer,I>
Copyright © 2015. All rights reserved.