net.automatalib.brics

Class BricsDFA

java.lang.Object

net.automatalib.ts.abstractimpl.AbstractTS<S,I,T>

net.automatalib.automata.abstractimpl.AbstractAutomaton<S,I,S>

net.automatalib.automata.fsa.abstractimpl.AbstractFSA<dk.brics.automaton.State,java.lang.Character>

net.automatalib.brics.AbstractBricsAutomaton

net.automatalib.brics.BricsDFA

All Implemented Interfaces:

java.lang.Iterable<dk.brics.automaton.State>, Automaton<dk.brics.automaton.State,java.lang.Character,dk.brics.automaton.State>, DetOutputAutomaton<dk.brics.automaton.State,java.lang.Character,dk.brics.automaton.State,java.lang.Boolean>, Output<java.lang.Character,java.lang.Boolean>, OutputAutomaton<dk.brics.automaton.State,java.lang.Character,dk.brics.automaton.State,java.lang.Boolean>, SODetOutputAutomaton<dk.brics.automaton.State,java.lang.Character,dk.brics.automaton.State,java.lang.Boolean>, SuffixOutput<java.lang.Character,java.lang.Boolean>, DeterministicAutomaton<dk.brics.automaton.State,java.lang.Character,dk.brics.automaton.State>, DFA<dk.brics.automaton.State,java.lang.Character>, FiniteStateAcceptor<dk.brics.automaton.State,java.lang.Character>, SimpleAutomaton<dk.brics.automaton.State,java.lang.Character>, SimpleDeterministicAutomaton<dk.brics.automaton.State,java.lang.Character>, UniversalAutomaton<dk.brics.automaton.State,java.lang.Character,dk.brics.automaton.State,java.lang.Boolean,java.lang.Void>, UniversalDeterministicAutomaton<dk.brics.automaton.State,java.lang.Character,dk.brics.automaton.State,java.lang.Boolean,java.lang.Void>, DOTPlottableGraph<dk.brics.automaton.State,dk.brics.automaton.Transition>, Graph<dk.brics.automaton.State,dk.brics.automaton.Transition>, IndefiniteGraph<dk.brics.automaton.State,dk.brics.automaton.Transition>, UniversalGraph<dk.brics.automaton.State,dk.brics.automaton.Transition,java.lang.Boolean,BricsTransitionProperty>, UniversalIndefiniteGraph<dk.brics.automaton.State,dk.brics.automaton.Transition,java.lang.Boolean,BricsTransitionProperty>, AcceptorTS<dk.brics.automaton.State,java.lang.Character>, DeterministicAcceptorTS<dk.brics.automaton.State,java.lang.Character>, DeterministicTransitionSystem<dk.brics.automaton.State,java.lang.Character,dk.brics.automaton.State>, SimpleDTS<dk.brics.automaton.State,java.lang.Character>, SimpleTS<dk.brics.automaton.State,java.lang.Character>, TransitionSystem<dk.brics.automaton.State,java.lang.Character,dk.brics.automaton.State>, UniversalDTS<dk.brics.automaton.State,java.lang.Character,dk.brics.automaton.State,java.lang.Boolean,java.lang.Void>, UniversalTransitionSystem<dk.brics.automaton.State,java.lang.Character,dk.brics.automaton.State,java.lang.Boolean,java.lang.Void>

@ParametersAreNonnullByDefault
public class BricsDFA
extends AbstractBricsAutomaton
implements DFA<dk.brics.automaton.State,java.lang.Character>

Adapter class for wrapping a Brics automaton as a 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.

Author:

Malte Isberner

Field Summary

Fields inherited from class net.automatalib.brics.AbstractBricsAutomaton

automaton

Fields inherited from interface net.automatalib.automata.fsa.FiniteStateAcceptor

STATE_PROPERTIES, TRANSITION_PROPERTIES

Constructor Summary

Constructors

Constructor and Description
BricsDFA(dk.brics.automaton.Automaton automaton) Constructor.
BricsDFA(dk.brics.automaton.Automaton automaton, boolean mayDeterminize) Constructor.

Method Summary

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)

Methods inherited from class net.automatalib.brics.AbstractBricsAutomaton

createDynamicNodeMapping, createStaticNodeMapping, getBricsAutomaton, getEdgeProperty, getGraphDOTHelper, getInitialStates, getNodeProperty, getNodes, getOutgoingEdges, getStates, getTarget, isAccepting, nodeIDs

Methods inherited from class net.automatalib.automata.fsa.abstractimpl.AbstractFSA

computeOutput, computeOutput, computeSuffixOutput, computeSuffixOutput, getStateProperty, getStateProperty, getSuccessor, getSuccessor, getTransitionProperty, getTransitionProperty

Methods inherited from class net.automatalib.automata.abstractimpl.AbstractAutomaton

createStaticStateMapping, createStaticStateMapping, iterator, iterator, size, size, stateIDs, stateIDs

Methods inherited from class net.automatalib.ts.abstractimpl.AbstractTS

createDynamicStateMapping, createDynamicStateMapping, createStaticStateMapping, getStates, getStates, getSuccessors, getSuccessors, getSuccessors, getSuccessors, getSuccessors, powersetView, powersetView

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.automatalib.ts.acceptors.AcceptorTS

isAccepting

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Methods inherited from interface net.automatalib.automata.concepts.Output

computeOutput

Methods inherited from interface net.automatalib.automata.simple.SimpleAutomaton

getStates, size, stateIDs

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, powersetView

Methods inherited from interface net.automatalib.ts.simple.SimpleTS

createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors

Methods inherited from interface net.automatalib.automata.concepts.SuffixOutput

computeSuffixOutput

Methods inherited from interface net.automatalib.graphs.Graph

size

Constructor Detail

BricsDFA

public BricsDFA(dk.brics.automaton.Automaton automaton)

Constructor. If the specified automaton is not deterministic, this will result in an IllegalArgumentException.

Parameters:

automaton - the Brics automaton to wrap.

BricsDFA

public BricsDFA(dk.brics.automaton.Automaton automaton,
                boolean mayDeterminize)

Constructor. If mayDeterminize is false, this constructor behaves as the above BricsDFA(Automaton). Otherwise, if the specified automaton is not deterministic, it is determinized beforehand by invoking Automaton.determinize().

Parameters:

automaton - the Brics automaton to wrap.

mayDeterminize - whether or not a possible nondeterministic automaton may be determinized.

Method Detail

accepts

public boolean accepts(java.lang.Iterable<? extends java.lang.Character> input)

Specified by:

accepts in interface AcceptorTS<dk.brics.automaton.State,java.lang.Character>

getInitialState

public dk.brics.automaton.State getInitialState()

Specified by:

getInitialState in interface SimpleDTS<dk.brics.automaton.State,java.lang.Character>

getSuccessor

public dk.brics.automaton.State getSuccessor(dk.brics.automaton.State state,
                                             @Nonnull
                                             java.lang.Character input)

Specified by:

getSuccessor in interface SimpleDTS<dk.brics.automaton.State,java.lang.Character>

getSuccessor

public dk.brics.automaton.State getSuccessor(dk.brics.automaton.State state,
                                             java.lang.Iterable<? extends java.lang.Character> input)

Specified by:

getSuccessor in interface SimpleDTS<dk.brics.automaton.State,java.lang.Character>

getState

public dk.brics.automaton.State getState(java.lang.Iterable<? extends java.lang.Character> input)

Specified by:

getState in interface SimpleDTS<dk.brics.automaton.State,java.lang.Character>

getTransition

public dk.brics.automaton.State getTransition(dk.brics.automaton.State state,
                                              @Nonnull
                                              java.lang.Character input)

Specified by:

getTransition in interface DeterministicTransitionSystem<dk.brics.automaton.State,java.lang.Character,dk.brics.automaton.State>

getTransitions

public java.util.Collection<dk.brics.automaton.State> getTransitions(dk.brics.automaton.State state,
                                                                     @Nonnull
                                                                     java.lang.Character input)

Specified by:

getTransitions in interface TransitionSystem<dk.brics.automaton.State,java.lang.Character,dk.brics.automaton.State>

Overrides:

getTransitions in class AbstractBricsAutomaton

getSuccessors

public java.util.Set<dk.brics.automaton.State> getSuccessors(dk.brics.automaton.State state,
                                                             @Nonnull
                                                             java.lang.Character input)

Specified by:

getSuccessors in interface SimpleTS<dk.brics.automaton.State,java.lang.Character>

Overrides:

getSuccessors in class AbstractTS<dk.brics.automaton.State,java.lang.Character,dk.brics.automaton.State>