Package net.automatalib.brics

Class AbstractBricsAutomaton

java.lang.Object

net.automatalib.brics.AbstractBricsAutomaton

All Implemented Interfaces:

Iterable<State>, Automaton<State,Character,State>, FiniteRepresentation, 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

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

Base class for Brics automata adapters.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	AbstractBricsAutomaton.GraphView

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

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

Field Summary

Fields

Modifier and Type	Field	Description
protected Automaton	automaton

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

STATE_PROPERTIES, TRANSITION_PROPERTIES

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
Automaton	getBricsAutomaton()	Retrieves the Brics automaton object.
Set<State>	getInitialStates()	Retrieves the set of initial states of the transition system.
Collection<State>	getStates()	Retrieves all states of the transition system.
Collection<State>	getTransitions(State state, Character input)	Retrieves the transitions that can be triggered by the given input symbol.
AbstractBricsAutomaton.GraphView	graphView()
boolean	isAccepting(State state)	Checks whether the given state is accepting.

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.acceptor.AcceptorTS

accepts, getStateProperty, getSuccessor, getTransitionProperty, isAccepting

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

computeOutput, computeSuffixOutput, transitionGraphView

Methods inherited from interface java.lang.Iterable

forEach, spliterator

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

createDynamicStateMapping, createStaticStateMapping, iterator, size, stateIDs

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

getStates, getSuccessors, getSuccessors

Methods inherited from interface net.automatalib.ts.TransitionSystem

getSuccessors, powersetView

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)

Description copied from interface: AcceptorTS

Checks whether the given state is accepting.

Specified by:

isAccepting in interface AcceptorTS<State,Character>

Parameters:

state - the state

Returns:

true if the state is accepting, false otherwise.

getTransitions

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

Description copied from interface: TransitionSystem

Retrieves the transitions that can be triggered by the given input symbol.

The return value must not be null; if there are no transitions triggered by the specified input, Collections.emptySet() should be returned.

Specified by:

getTransitions in interface TransitionSystem<State,Character,State>

Parameters:

state - the source state.

input - the input symbol.

Returns:

the transitions triggered by the given input

getInitialStates

public Set<State> getInitialStates()

Description copied from interface: SimpleTS

Retrieves the set of initial states of the transition system.

Specified by:

getInitialStates in interface SimpleTS<State,Character>

Returns:

the initial states.

getStates

public Collection<State> getStates()

Description copied from interface: SimpleAutomaton

Retrieves all states of the transition system. Implementing classes should return an unmodifiable collection

Specified by:

getStates in interface SimpleAutomaton<State,Character>

Returns:

all states in the transition system

graphView

public AbstractBricsAutomaton.GraphView graphView()

Specified by:

graphView in interface GraphViewable