public class BricsNFA extends AbstractBricsAutomaton implements NFA<dk.brics.automaton.State,java.lang.Character>
NFA.
This adapter is backed by the Brics automaton, so changes to the Automaton
are reflected.
As a DFA can be regarded as a special case of an NFA, using this class on a Brics
Automaton will always work. However, determining successor states for input
characters might be much less efficient than when using a BricsDFA.
automatonSTATE_PROPERTIES, TRANSITION_PROPERTIES| Constructor and Description |
|---|
BricsNFA(dk.brics.automaton.Automaton automaton)
Constructor.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
accepts(java.lang.Iterable<? extends java.lang.Character> input) |
boolean |
isAccepting(java.util.Collection<? extends dk.brics.automaton.State> states) |
createDynamicNodeMapping, createStaticNodeMapping, getBricsAutomaton, getEdgeProperty, getGraphDOTHelper, getInitialStates, getNodeProperty, getNodes, getOutgoingEdges, getStates, getTarget, getTransitions, isAccepting, nodeIDscomputeOutput, computeOutput, computeSuffixOutput, computeSuffixOutput, getStateProperty, getStateProperty, getSuccessor, getSuccessor, getTransitionProperty, getTransitionPropertycreateStaticStateMapping, createStaticStateMapping, iterator, iterator, size, size, stateIDs, stateIDscreateDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetViewclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitisAcceptinggetStates, size, stateIDsgetStateProperty, getTransitionPropertygetSuccessor, getTransitions, powersetViewcreateDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessorscomputeSuffixOutputcomputeOutputpublic BricsNFA(dk.brics.automaton.Automaton automaton)
automaton - the Brics automaton objectpublic boolean accepts(java.lang.Iterable<? extends java.lang.Character> input)
accepts in interface AcceptorTS<dk.brics.automaton.State,java.lang.Character>public boolean isAccepting(java.util.Collection<? extends dk.brics.automaton.State> states)
isAccepting in interface NFA<dk.brics.automaton.State,java.lang.Character>Copyright © 2014. All Rights Reserved.