@ParametersAreNonnullByDefault public class BricsDFA extends AbstractBricsAutomaton implements DFA<dk.brics.automaton.State,java.lang.Character>
DFA.
This adapter is backed by the Brics automaton, so changes to the Automaton
are reflected. Please note that any changes which result in a loss of determinism
will result in incorrect behavior exposed by this class until determinism is restored.
automatonSTATE_PROPERTIES, TRANSITION_PROPERTIES| Constructor and Description |
|---|
BricsDFA(dk.brics.automaton.Automaton automaton)
Constructor.
|
BricsDFA(dk.brics.automaton.Automaton automaton,
boolean mayDeterminize)
Constructor.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
accepts(java.lang.Iterable<? extends java.lang.Character> input) |
dk.brics.automaton.State |
getInitialState() |
dk.brics.automaton.State |
getState(java.lang.Iterable<? extends java.lang.Character> input) |
dk.brics.automaton.State |
getSuccessor(dk.brics.automaton.State state,
java.lang.Character input) |
dk.brics.automaton.State |
getSuccessor(dk.brics.automaton.State state,
java.lang.Iterable<? extends java.lang.Character> input) |
java.util.Set<dk.brics.automaton.State> |
getSuccessors(dk.brics.automaton.State state,
java.lang.Character input) |
dk.brics.automaton.State |
getTransition(dk.brics.automaton.State state,
java.lang.Character input) |
java.util.Collection<dk.brics.automaton.State> |
getTransitions(dk.brics.automaton.State state,
java.lang.Character input) |
createDynamicNodeMapping, createStaticNodeMapping, getBricsAutomaton, getEdgeProperty, getGraphDOTHelper, getInitialStates, getNodeProperty, getNodes, getOutgoingEdges, getStates, getTarget, 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, powersetView, powersetViewclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitisAcceptinggetStateProperty, getTransitionPropertycomputeOutputgetStates, size, stateIDsgetSuccessor, powersetViewcreateDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessorscomputeSuffixOutputpublic BricsDFA(dk.brics.automaton.Automaton automaton)
IllegalArgumentException.automaton - the Brics automaton to wrap.public BricsDFA(dk.brics.automaton.Automaton automaton,
boolean mayDeterminize)
BricsDFA(Automaton). Otherwise, if the specified automaton is not deterministic,
it is determinized beforehand by invoking Automaton.determinize().automaton - the Brics automaton to wrap.mayDeterminize - whether or not a possible nondeterministic automaton may be
determinized.public boolean accepts(java.lang.Iterable<? extends java.lang.Character> input)
accepts in interface AcceptorTS<dk.brics.automaton.State,java.lang.Character>public dk.brics.automaton.State getInitialState()
getInitialState in interface SimpleDTS<dk.brics.automaton.State,java.lang.Character>public dk.brics.automaton.State getSuccessor(dk.brics.automaton.State state,
@Nonnull
java.lang.Character input)
getSuccessor in interface SimpleDTS<dk.brics.automaton.State,java.lang.Character>public dk.brics.automaton.State getSuccessor(dk.brics.automaton.State state,
java.lang.Iterable<? extends java.lang.Character> input)
getSuccessor in interface SimpleDTS<dk.brics.automaton.State,java.lang.Character>public dk.brics.automaton.State getState(java.lang.Iterable<? extends java.lang.Character> input)
public dk.brics.automaton.State getTransition(dk.brics.automaton.State state,
@Nonnull
java.lang.Character input)
getTransition in interface DeterministicTransitionSystem<dk.brics.automaton.State,java.lang.Character,dk.brics.automaton.State>public java.util.Collection<dk.brics.automaton.State> getTransitions(dk.brics.automaton.State state,
@Nonnull
java.lang.Character input)
getTransitions in interface TransitionSystem<dk.brics.automaton.State,java.lang.Character,dk.brics.automaton.State>getTransitions in class AbstractBricsAutomatonpublic java.util.Set<dk.brics.automaton.State> getSuccessors(dk.brics.automaton.State state,
@Nonnull
java.lang.Character input)
getSuccessors in interface SimpleTS<dk.brics.automaton.State,java.lang.Character>getSuccessors in class AbstractTS<dk.brics.automaton.State,java.lang.Character,dk.brics.automaton.State>Copyright © 2014. All Rights Reserved.