net.automatalib.brics

Class BricsNFA

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.BricsNFA

All Implemented Interfaces:

java.lang.Iterable<dk.brics.automaton.State>, Automaton<dk.brics.automaton.State,java.lang.Character,dk.brics.automaton.State>, Output<java.lang.Character,java.lang.Boolean>, SuffixOutput<java.lang.Character,java.lang.Boolean>, FiniteStateAcceptor<dk.brics.automaton.State,java.lang.Character>, NFA<dk.brics.automaton.State,java.lang.Character>, SimpleAutomaton<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>, 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>, SimpleTS<dk.brics.automaton.State,java.lang.Character>, TransitionSystem<dk.brics.automaton.State,java.lang.Character,dk.brics.automaton.State>, UniversalTransitionSystem<dk.brics.automaton.State,java.lang.Character,dk.brics.automaton.State,java.lang.Boolean,java.lang.Void>

public class BricsNFA
extends AbstractBricsAutomaton
implements NFA<dk.brics.automaton.State,java.lang.Character>

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

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
BricsNFA(dk.brics.automaton.Automaton automaton) Constructor.

Method Summary

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)

Methods inherited from class net.automatalib.brics.AbstractBricsAutomaton

createDynamicNodeMapping, createStaticNodeMapping, getBricsAutomaton, getEdgeProperty, getGraphDOTHelper, getInitialStates, getNodeProperty, getNodes, getOutgoingEdges, getStates, getTarget, getTransitions, 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, 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.automata.simple.SimpleAutomaton

getStates, size, stateIDs

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Methods inherited from interface net.automatalib.ts.UniversalTransitionSystem

getStateProperty, getTransitionProperty

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessor, getTransitions, powersetView

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

createDynamicStateMapping, createStaticStateMapping, getInitialStates, getStates, getSuccessors, getSuccessors, getSuccessors

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

computeSuffixOutput

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

computeOutput

Methods inherited from interface net.automatalib.graphs.Graph

size

Constructor Detail

BricsNFA

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

Constructor.

Parameters:

automaton - the Brics automaton object

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>

isAccepting

public boolean isAccepting(java.util.Collection<? extends dk.brics.automaton.State> states)

Specified by:

isAccepting in interface NFA<dk.brics.automaton.State,java.lang.Character>