public class FastNFA<I> extends FastMutableNondet<FastNFAState,I,FastNFAState,Boolean,Void> implements MutableNFA<FastNFAState,I>, DOTPlottableAutomaton<FastNFAState,I,FastNFAState>
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.
|
FastNFAState |
addInitialState(boolean accepting) |
FastNFAState |
addState(boolean accepting) |
Boolean |
computeOutput(Iterable<? extends I> input) |
Boolean |
computeSuffixOutput(Iterable<? extends I> prefix,
Iterable<? extends I> suffix) |
FastNFAState |
copyTransition(FastNFAState trans,
FastNFAState succ) |
protected FastNFAState |
createState(Boolean property) |
FastNFAState |
createTransition(FastNFAState successor,
Void properties) |
void |
flipAcceptance() |
GraphDOTHelper<FastNFAState,TransitionEdge<I,FastNFAState>> |
getDOTHelper() |
Boolean |
getStateProperty(FastNFAState state)
Retrieves the state property for the given state.
|
FastNFAState |
getSuccessor(FastNFAState transition)
Retrieves the successor state of a given transition.
|
Void |
getTransitionProperty(FastNFAState transition)
Retrieves the transition property for the given state.
|
boolean |
isAccepting(Collection<? extends FastNFAState> states) |
boolean |
isAccepting(FastNFAState state)
Checks whether the given state is accepting.
|
void |
setAccepting(FastNFAState state,
boolean accepting) |
void |
setStateProperty(FastNFAState state,
Boolean property) |
void |
setTransitionProperty(FastNFAState transition,
Void property) |
addState, clear, createDynamicNodeMapping, createDynamicStateMapping, createStaticNodeMapping, createStaticStateMapping, getEdgeProperty, getInitialStates, getInputAlphabet, getNode, getNodeId, getNodeProperty, getNodes, getOutgoingEdges, getState, getStateId, getStates, getTarget, getTransitions, nodeIDs, removeAllTransitions, removeState, setInitial, setTransitions, stateIDs
removeState, removeState, unlinkState
addInitialState, addInitialState, addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransition, addTransition, addTransitions, addTransitions, removeAllTransitions, removeAllTransitions, removeTransition, removeTransition
createStaticStateMapping, iterator, iterator, size, size, stateIDs
createDynamicStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
addInitialState, addInitialState, addState, addState, addTransition, addTransition, addTransitions, clear, removeAllTransitions, removeAllTransitions, removeTransition, setInitial, setTransitions
getStates, size, stateIDs
forEach, iterator, spliterator
getTransitions, powersetView
createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors
getInputAlphabet
public boolean isAccepting(Collection<? extends FastNFAState> states)
isAccepting
in interface NFA<FastNFAState,I>
public FastNFAState getSuccessor(FastNFAState transition)
TransitionSystem
getSuccessor
in interface TransitionSystem<FastNFAState,I,FastNFAState>
transition
- the transition.public boolean accepts(Iterable<? extends I> input)
AcceptorTS
accepts
in interface AcceptorTS<FastNFAState,I>
input
- the input word.true
if the input word is accepted,
false
otherwise.public boolean isAccepting(FastNFAState state)
AcceptorTS
isAccepting
in interface AcceptorTS<FastNFAState,I>
state
- the statetrue
if the state is accepting, false
otherwise.public void setAccepting(FastNFAState state, boolean accepting)
setAccepting
in interface MutableFSA<FastNFAState,I>
public void setStateProperty(FastNFAState state, Boolean property)
setStateProperty
in interface MutableAutomaton<FastNFAState,I,FastNFAState,Boolean,Void>
public void setTransitionProperty(FastNFAState transition, Void property)
setTransitionProperty
in interface MutableAutomaton<FastNFAState,I,FastNFAState,Boolean,Void>
public FastNFAState createTransition(FastNFAState successor, Void properties)
createTransition
in interface MutableAutomaton<FastNFAState,I,FastNFAState,Boolean,Void>
public FastNFAState copyTransition(FastNFAState trans, FastNFAState succ)
copyTransition
in interface MutableAutomaton<FastNFAState,I,FastNFAState,Boolean,Void>
protected FastNFAState createState(Boolean property)
createState
in class FastMutableNondet<FastNFAState,I,FastNFAState,Boolean,Void>
public Boolean getStateProperty(FastNFAState state)
UniversalTransitionSystem
getStateProperty
in interface UniversalTransitionSystem<FastNFAState,I,FastNFAState,Boolean,Void>
state
- the state.public Void getTransitionProperty(FastNFAState transition)
UniversalTransitionSystem
getTransitionProperty
in interface UniversalTransitionSystem<FastNFAState,I,FastNFAState,Boolean,Void>
transition
- the transition.public void flipAcceptance()
flipAcceptance
in interface MutableFSA<FastNFAState,I>
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 FastNFAState addState(boolean accepting)
addState
in interface MutableFSA<FastNFAState,I>
public FastNFAState addInitialState(boolean accepting)
addInitialState
in interface MutableFSA<FastNFAState,I>
public GraphDOTHelper<FastNFAState,TransitionEdge<I,FastNFAState>> getDOTHelper()
getDOTHelper
in interface DOTPlottableAutomaton<FastNFAState,I,FastNFAState>
Copyright © 2015. All rights reserved.