net.automatalib.brics

Class AbstractBricsAutomaton

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

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>, 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>

Direct Known Subclasses:

BricsDFA, BricsNFA

@ParametersAreNonnullByDefault
public abstract class AbstractBricsAutomaton
extends AbstractFSA<dk.brics.automaton.State,java.lang.Character>
implements DOTPlottableGraph<dk.brics.automaton.State,dk.brics.automaton.Transition>, UniversalGraph<dk.brics.automaton.State,dk.brics.automaton.Transition,java.lang.Boolean,BricsTransitionProperty>

Base class for Brics automata adapters.

Author:

Malte Isberner

Field Summary

Fields

Modifier and Type	Field and Description
protected dk.brics.automaton.Automaton	automaton

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

STATE_PROPERTIES, TRANSITION_PROPERTIES

Constructor Summary

Constructors

Constructor and Description
AbstractBricsAutomaton(dk.brics.automaton.Automaton automaton) Constructor.

Method Summary

Modifier and Type	Method and Description
<V> MutableMapping<dk.brics.automaton.State,V>	createDynamicNodeMapping()
<V> MutableMapping<dk.brics.automaton.State,V>	createStaticNodeMapping()
dk.brics.automaton.Automaton	getBricsAutomaton() Retrieves the Brics automaton object.
BricsTransitionProperty	getEdgeProperty(dk.brics.automaton.Transition edge)
GraphDOTHelper<dk.brics.automaton.State,dk.brics.automaton.Transition>	getGraphDOTHelper()
java.util.Set<dk.brics.automaton.State>	getInitialStates()
java.lang.Boolean	getNodeProperty(dk.brics.automaton.State node)
java.util.Collection<dk.brics.automaton.State>	getNodes()
java.util.Collection<dk.brics.automaton.Transition>	getOutgoingEdges(dk.brics.automaton.State node)
java.util.Collection<dk.brics.automaton.State>	getStates()
dk.brics.automaton.State	getTarget(dk.brics.automaton.Transition edge)
java.util.Collection<dk.brics.automaton.State>	getTransitions(dk.brics.automaton.State state, java.lang.Character input)
boolean	isAccepting(dk.brics.automaton.State state)
NodeIDs<dk.brics.automaton.State>	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.graphs.Graph

size

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

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

accepts

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

size, stateIDs

Methods inherited from interface net.automatalib.ts.TransitionSystem

powersetView

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

createDynamicStateMapping, createStaticStateMapping, getStates, getSuccessors, getSuccessors, getSuccessors

Field Detail

automaton

protected final dk.brics.automaton.Automaton automaton

Constructor Detail

AbstractBricsAutomaton

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

Constructor.

Parameters:

automaton - the Brics automaton object.

Method Detail

getBricsAutomaton

public dk.brics.automaton.Automaton getBricsAutomaton()

Retrieves the Brics automaton object.

Returns:

the brics automaton object

getNodes

public java.util.Collection<dk.brics.automaton.State> getNodes()

Specified by:

getNodes in interface Graph<dk.brics.automaton.State,dk.brics.automaton.Transition>

nodeIDs

public NodeIDs<dk.brics.automaton.State> nodeIDs()

Specified by:

nodeIDs in interface Graph<dk.brics.automaton.State,dk.brics.automaton.Transition>

getOutgoingEdges

public java.util.Collection<dk.brics.automaton.Transition> getOutgoingEdges(dk.brics.automaton.State node)

Specified by:

getOutgoingEdges in interface IndefiniteGraph<dk.brics.automaton.State,dk.brics.automaton.Transition>

getTarget

public dk.brics.automaton.State getTarget(dk.brics.automaton.Transition edge)

Specified by:

getTarget in interface IndefiniteGraph<dk.brics.automaton.State,dk.brics.automaton.Transition>

createStaticNodeMapping

public <V> MutableMapping<dk.brics.automaton.State,V> createStaticNodeMapping()

Specified by:

createStaticNodeMapping in interface IndefiniteGraph<dk.brics.automaton.State,dk.brics.automaton.Transition>

createDynamicNodeMapping

public <V> MutableMapping<dk.brics.automaton.State,V> createDynamicNodeMapping()

Specified by:

createDynamicNodeMapping in interface IndefiniteGraph<dk.brics.automaton.State,dk.brics.automaton.Transition>

isAccepting

public boolean isAccepting(dk.brics.automaton.State state)

Specified by:

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

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>

getInitialStates

public java.util.Set<dk.brics.automaton.State> getInitialStates()

Specified by:

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

getStates

public java.util.Collection<dk.brics.automaton.State> getStates()

Specified by:

getStates in interface SimpleAutomaton<dk.brics.automaton.State,java.lang.Character>

getGraphDOTHelper

public GraphDOTHelper<dk.brics.automaton.State,dk.brics.automaton.Transition> getGraphDOTHelper()

Specified by:

getGraphDOTHelper in interface DOTPlottableGraph<dk.brics.automaton.State,dk.brics.automaton.Transition>

getNodeProperty

public java.lang.Boolean getNodeProperty(dk.brics.automaton.State node)

Specified by:

getNodeProperty in interface UniversalIndefiniteGraph<dk.brics.automaton.State,dk.brics.automaton.Transition,java.lang.Boolean,BricsTransitionProperty>

getEdgeProperty

public BricsTransitionProperty getEdgeProperty(dk.brics.automaton.Transition edge)

Specified by:

getEdgeProperty in interface UniversalIndefiniteGraph<dk.brics.automaton.State,dk.brics.automaton.Transition,java.lang.Boolean,BricsTransitionProperty>