public class CompactDFA<I> extends AbstractCompactSimpleDet<I,Boolean> implements MutableDFA<Integer,I>, DOTPlottableAutomaton<Integer,I,Integer>
| 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 |
|---|---|
boolean |
accepts(Iterable<I> input) |
Integer |
addInitialState(boolean accepting) |
Integer |
addState(boolean accepting) |
void |
clear() |
Boolean |
computeOutput(Iterable<I> input) |
Boolean |
computeSuffixOutput(Iterable<I> prefix,
Iterable<I> suffix) |
void |
ensureCapacity(int oldCap,
int newCap) |
void |
flipAcceptance() |
GraphDOTHelper<Integer,TransitionEdge<I,Integer>> |
getDOTHelper() |
Boolean |
getStateProperty(int stateId) |
void |
initState(int stateId,
Boolean property) |
boolean |
isAccepting(int stateId) |
boolean |
isAccepting(Integer state) |
void |
setAccepting(int state,
boolean accepting) |
void |
setAccepting(Integer state,
boolean accepting) |
void |
setStateProperty(int stateId,
Boolean property) |
addIntState, addState, copyTransition, createDynamicNodeMapping, createStaticNodeMapping, createTransition, ensureCapacity, getEdgeProperty, getGraphDOTHelper, getInitialState, getInputAlphabet, getNode, getNodeId, getNodeProperty, getNodes, getOutgoingEdges, getState, getStateId, getStateProperty, getStates, getSuccessor, getTarget, getTransition, getTransitionProperty, nodeIDs, removeAllTransitions, removeAllTransitions, setInitialState, setInitialState, setStateProperty, setTransition, setTransition, setTransition, setTransitionProperty, size, stateIDsaddInitialState, addInitialState, addState, addTransition, addTransition, addTransition, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition, setInitial, setInitial, setTransition, setTransition, setTransitions, setTransitionsiteratorgetInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitionscreateDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetViewclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitgetStates, size, stateIDsgetTransitiongetSuccessor, getTransitions, powersetViewgetInitialState, getState, getSuccessor, getSuccessorcreateDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessorssetInitialState, setTransition, setTransitionaddInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransitions, copyTransition, createTransition, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setStateProperty, setTransitionProperty, setTransitionsgetStateProperty, getTransitionPropertygetInputAlphabetpublic static final float DEFAULT_RESIZE_FACTOR
public static final int DEFAULT_INIT_CAPACITY
public CompactDFA(Alphabet<I> alphabet)
public CompactDFA(Alphabet<I> alphabet, int stateCapacity)
public CompactDFA(Alphabet<I> alphabet, float resizeFactor)
public CompactDFA(Alphabet<I> alphabet, int stateCapacity, float resizeFactor)
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()
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)
isAccepting in interface AcceptorTS<Integer,I>public boolean accepts(Iterable<I> input)
accepts in interface AcceptorTS<Integer,I>public Boolean computeSuffixOutput(Iterable<I> prefix, Iterable<I> suffix)
computeSuffixOutput in interface SuffixOutput<I,Boolean>public Boolean computeOutput(Iterable<I> input)
computeOutput in interface Output<I,Boolean>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>public GraphDOTHelper<Integer,TransitionEdge<I,Integer>> getDOTHelper()
getDOTHelper in interface DOTPlottableAutomaton<Integer,I,Integer>Copyright © 2013. All Rights Reserved.