public final class FastDFA<I> extends FastMutableDet<FastDFAState,I,FastDFAState,Boolean,Void> implements MutableDFA<FastDFAState,I>
inputAlphabet
STATE_PROPERTIES, TRANSITION_PROPERTIES
Modifier and Type | Method and Description |
---|---|
boolean |
accepts(Iterable<? extends I> input)
Determines whether the given input word is accepted by this acceptor.
|
FastDFAState |
addInitialState(boolean accepting) |
FastDFAState |
addState(boolean accepting) |
Boolean |
computeOutput(Iterable<? extends I> input) |
Boolean |
computeSuffixOutput(Iterable<? extends I> prefix,
Iterable<? extends I> suffix) |
FastDFAState |
copyTransition(FastDFAState trans,
FastDFAState succ) |
<V> MutableMapping<FastDFAState,V> |
createDynamicNodeMapping() |
protected FastDFAState |
createState(boolean accepting) |
protected FastDFAState |
createState(Boolean property) |
<V> MutableMapping<FastDFAState,V> |
createStaticNodeMapping() |
FastDFAState |
createTransition(FastDFAState successor,
Void properties) |
void |
flipAcceptance() |
Boolean |
getStateProperty(FastDFAState state)
Retrieves the state property for the given state.
|
FastDFAState |
getSuccessor(FastDFAState transition)
Retrieves the successor state of a given transition.
|
Void |
getTransitionProperty(FastDFAState transition)
Retrieves the transition property for the given state.
|
boolean |
isAccepting(FastDFAState state)
Checks whether the given state is accepting.
|
void |
setAccepting(FastDFAState state,
boolean accepting) |
void |
setStateProperty(FastDFAState state,
Boolean property) |
void |
setTransitionProperty(FastDFAState transition,
Void property) |
addState, clear, createDynamicStateMapping, createStaticStateMapping, getEdgeProperty, getInitialState, getInputAlphabet, getNode, getNodeId, getNodeProperty, getNodes, getOutgoingEdges, getState, getStateId, getStates, getTarget, getTransition, nodeIDs, removeAllTransitions, removeState, setInitialState, setTransition, stateIDs
removeState
addInitialState, addInitialState, addState, addTransition, addTransition, addTransition, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition, setInitial, setInitial, setTransition, setTransition, setTransitions, setTransitions
iterator, size
getInitialStates, getInitialStates, getState, getState, getSuccessor, getSuccessor, getSuccessor, getSuccessor, getTransitions, getTransitions
createDynamicStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getStates, size, stateIDs
forEach, iterator, spliterator
getTransition
getTransitions, powersetView
getInitialState, getState, getSuccessor, getSuccessor
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
setInitialState, setTransition, setTransition
addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransitions, clear, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setTransitions
public FastDFAState getSuccessor(FastDFAState transition)
TransitionSystem
getSuccessor
in interface TransitionSystem<FastDFAState,I,FastDFAState>
transition
- the transition.public <V> MutableMapping<FastDFAState,V> createStaticNodeMapping()
createStaticNodeMapping
in interface IndefiniteGraph<FastDFAState,TransitionEdge<I,FastDFAState>>
createStaticNodeMapping
in class FastMutableDet<FastDFAState,I,FastDFAState,Boolean,Void>
public <V> MutableMapping<FastDFAState,V> createDynamicNodeMapping()
createDynamicNodeMapping
in interface IndefiniteGraph<FastDFAState,TransitionEdge<I,FastDFAState>>
createDynamicNodeMapping
in class FastMutableDet<FastDFAState,I,FastDFAState,Boolean,Void>
public Boolean getStateProperty(FastDFAState state)
UniversalTransitionSystem
getStateProperty
in interface UniversalTransitionSystem<FastDFAState,I,FastDFAState,Boolean,Void>
state
- the state.public Void getTransitionProperty(FastDFAState transition)
UniversalTransitionSystem
getTransitionProperty
in interface UniversalTransitionSystem<FastDFAState,I,FastDFAState,Boolean,Void>
transition
- the transition.public void setStateProperty(FastDFAState state, Boolean property)
setStateProperty
in interface MutableAutomaton<FastDFAState,I,FastDFAState,Boolean,Void>
public void setTransitionProperty(FastDFAState transition, Void property)
setTransitionProperty
in interface MutableAutomaton<FastDFAState,I,FastDFAState,Boolean,Void>
public FastDFAState createTransition(FastDFAState successor, Void properties)
createTransition
in interface MutableAutomaton<FastDFAState,I,FastDFAState,Boolean,Void>
public FastDFAState copyTransition(FastDFAState trans, FastDFAState succ)
copyTransition
in interface MutableAutomaton<FastDFAState,I,FastDFAState,Boolean,Void>
protected FastDFAState createState(Boolean property)
createState
in class FastMutableDet<FastDFAState,I,FastDFAState,Boolean,Void>
protected FastDFAState createState(boolean accepting)
public boolean isAccepting(FastDFAState state)
AcceptorTS
isAccepting
in interface AcceptorTS<FastDFAState,I>
state
- the statetrue
if the state is accepting, false
otherwise.public boolean accepts(Iterable<? extends I> input)
AcceptorTS
accepts
in interface AcceptorTS<FastDFAState,I>
input
- the input word.true
if the input word is accepted,
false
otherwise.public Boolean computeSuffixOutput(Iterable<? extends I> prefix, Iterable<? extends I> suffix)
computeSuffixOutput
in interface SuffixOutput<I,Boolean>
public Boolean computeOutput(Iterable<? extends I> input)
computeOutput
in interface Output<I,Boolean>
public FastDFAState addState(boolean accepting)
addState
in interface MutableFSA<FastDFAState,I>
public FastDFAState addInitialState(boolean accepting)
addInitialState
in interface MutableFSA<FastDFAState,I>
public void setAccepting(FastDFAState state, boolean accepting)
setAccepting
in interface MutableFSA<FastDFAState,I>
public void flipAcceptance()
flipAcceptance
in interface MutableFSA<FastDFAState,I>
Copyright © 2015. All rights reserved.