net.automatalib.brics

Class AbstractBricsAutomaton

java.lang.Object

net.automatalib.brics.AbstractBricsAutomaton

All Implemented Interfaces:

Iterable<State>, Automaton<State,Character,State>, Output<Character,Boolean>, OutputAutomaton<State,Character,State,Boolean>, SuffixOutput<Character,Boolean>, FiniteStateAcceptor<State,Character>, SimpleAutomaton<State,Character>, UniversalAutomaton<State,Character,State,Boolean,Void>, GraphViewable, AcceptorTS<State,Character>, SimpleTS<State,Character>, TransitionSystem<State,Character,State>, UniversalTransitionSystem<State,Character,State,Boolean,Void>

Direct Known Subclasses:

BricsDFA, BricsNFA

@ParametersAreNonnullByDefault
public abstract class AbstractBricsAutomaton
extends Object
implements FiniteStateAcceptor<State,Character>, GraphViewable

Base class for Brics automata adapters.

Author:

Malte Isberner

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	AbstractBricsAutomaton.GraphView

Nested classes/interfaces inherited from interface net.automatalib.automata.fsa.FiniteStateAcceptor

FiniteStateAcceptor.FSAGraphView<S,I,A extends FiniteStateAcceptor<S,I>>

Field Summary

Fields

Modifier and Type	Field and Description
protected Automaton	automaton

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

STATE_PROPERTIES, TRANSITION_PROPERTIES

Constructor Summary

Constructors

Constructor and Description
AbstractBricsAutomaton(Automaton automaton, boolean totalize) Constructor.

Method Summary

Modifier and Type	Method and Description
Automaton	getBricsAutomaton() Retrieves the Brics automaton object.
Set<State>	getInitialStates()
Collection<State>	getStates()
Collection<State>	getTransitions(State state, Character input)
AbstractBricsAutomaton.GraphView	graphView()
boolean	isAccepting(State state)

Methods inherited from class java.lang.Object

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

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

computeOutput, computeSuffixOutput, transitionGraphView

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

accepts, getStateProperty, getSuccessor, getTransitionProperty, isAccepting

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessors, powersetView

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

createStaticStateMapping, iterator, size, stateIDs

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

createDynamicStateMapping, getStates, getSuccessors, getSuccessors

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

automaton

protected final Automaton automaton

Constructor Detail

AbstractBricsAutomaton

public AbstractBricsAutomaton(Automaton automaton,
                              boolean totalize)

Constructor.

Parameters:

automaton - the Brics automaton to wrap.

totalize - flag, indicating whether the automaton should have a total transition function.

See Also:

Automaton.totalize()

Method Detail

getBricsAutomaton

public Automaton getBricsAutomaton()

Retrieves the Brics automaton object.

Returns:

the brics automaton object

isAccepting

public boolean isAccepting(State state)

Specified by:

isAccepting in interface AcceptorTS<State,Character>

getTransitions

public Collection<State> getTransitions(State state,
                                        @Nonnull
                                        Character input)

Specified by:

getTransitions in interface TransitionSystem<State,Character,State>

getInitialStates

public Set<State> getInitialStates()

Specified by:

getInitialStates in interface SimpleTS<State,Character>

getStates

public Collection<State> getStates()

Specified by:

getStates in interface SimpleAutomaton<State,Character>

graphView

public AbstractBricsAutomaton.GraphView graphView()

Specified by:

graphView in interface GraphViewable