public class CompactDFA<I> extends AbstractCompactSimpleDet<I,Boolean> implements MutableDFA<Integer,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 |
STATE_PROPERTIES, TRANSITION_PROPERTIES
Constructor and Description |
---|
CompactDFA(Alphabet<I> alphabet) |
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) |
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
isAccepting
createStaticStateMapping, getStates, iterator, size, stateIDs
forEach, spliterator
getSuccessor, getSuccessors, getTransition, getTransitions, transToSet
powersetView
getInitialState, getInitialStates, getState, getStates, getSuccessor, getSuccessors, stateToSet
createDynamicStateMapping, getSuccessors
addTransition, removeAllTransitions, removeTransition, setInitial, setInitialState, setTransition, setTransition, setTransitions
addInitialState, addInitialState, addState, addState, copyTransition, createTransition, setStateProperty, setTransitionProperty
computeOutput, computeSuffixOutput, transitionGraphView
getStateProperty, getSuccessor, getTransitionProperty
addTransition, addTransitions, removeAllTransitions
transitionGraphView
graphView
public static final float DEFAULT_RESIZE_FACTOR
public static final int DEFAULT_INIT_CAPACITY
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.