Package net.automatalib.automaton.procedural

Class EmptySPA<I>

java.lang.Object

net.automatalib.automaton.procedural.EmptySPA<I>

Type Parameters:

I - input symbol type

All Implemented Interfaces:

FiniteRepresentation, InputAlphabetHolder<I>, Output<I,Boolean>, SuffixOutput<I,Boolean>, SPA<Void,I>, GraphViewable, AcceptorTS<Void,I>, DeterministicAcceptorTS<Void,I>, DeterministicTransitionSystem<Void,I,Void>, SimpleDTS<Void,I>, SimpleTS<Void,I>, TransitionSystem<Void,I,Void>, UniversalDTS<Void,I,Void,Boolean,Void>, UniversalTransitionSystem<Void,I,Void,Boolean,Void>

public class EmptySPA<I>
extends Object
implements SPA<Void,I>

A utility implementation of an SPA that rejects all inputs, i.e., describes the empty language.

Constructor Summary

Constructors

Constructor	Description
EmptySPA(ProceduralInputAlphabet<I> alphabet)

Method Summary

Modifier and Type	Method	Description
@Nullable I	getInitialProcedure()
Void	getInitialState()	Retrieves the initial state of this transition system.
ProceduralInputAlphabet<I>	getInputAlphabet()
default Collection<I>	getProceduralInputs()	Convenience method for getProceduralInputs(Collection) which uses the input alphabet of this system as constraints.
default @Nullable M	getProcedure(I callSymbol)	Convenience method for getProcedures() to quickly return the procedure of a given call symbol.
Map<I,DFA<?,I>>	getProcedures()
Void	getTransition(Void state, I input)	Retrieves the transition triggered by the given input symbol.
default Graph<?,?>	graphView()
boolean	isAccepting(Void state)	Checks whether the given state is accepting.
default int	size()	Returns the size of this system which is given by the sum of the sizes of all procedures.

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

getStateProperty, getSuccessor, getTransitionProperty

Methods inherited from interface net.automatalib.ts.acceptor.DeterministicAcceptorTS

accepts, computeSuffixOutput, isAccepting

Methods inherited from interface net.automatalib.ts.DeterministicTransitionSystem

getSuccessor, getSuccessors, getTransitions

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

getInitialStates, getState, getStates, getSuccessor, getSuccessors

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

createDynamicStateMapping, createStaticStateMapping, getSuccessors

Methods inherited from interface net.automatalib.automaton.procedural.SPA

computeOutput, getProceduralInputs

Methods inherited from interface net.automatalib.ts.TransitionSystem

powersetView

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Constructor Detail

EmptySPA

public EmptySPA(ProceduralInputAlphabet<I> alphabet)

Method Detail

getInitialProcedure

public @Nullable I getInitialProcedure()

getInputAlphabet

public ProceduralInputAlphabet<I> getInputAlphabet()

Specified by:

getInputAlphabet in interface InputAlphabetHolder<I>

getProcedures

public Map<I,DFA<?,I>> getProcedures()

getTransition

public Void getTransition(Void state,
                          I input)

Description copied from interface: DeterministicTransitionSystem

Retrieves the transition triggered by the given input symbol.

Specified by:

getTransition in interface DeterministicTransitionSystem<Void,I,Void>

Parameters:

state - the source state.

input - the input symbol.

Returns:

the transition triggered by the given input symbol, or null if no transition is triggered.

See Also:

TransitionSystem.getTransitions(Object, Object)

isAccepting

public boolean isAccepting(Void state)

Description copied from interface: AcceptorTS

Checks whether the given state is accepting.

Specified by:

isAccepting in interface AcceptorTS<Void,I>

Parameters:

state - the state

Returns:

true if the state is accepting, false otherwise.

getInitialState

public Void getInitialState()

Description copied from interface: SimpleDTS

Retrieves the initial state of this transition system.

Specified by:

getInitialState in interface SimpleDTS<Void,I>

Returns:

the initial state.

See Also:

SimpleTS.getInitialStates()

getProceduralInputs

public default Collection<I> getProceduralInputs()

Convenience method for getProceduralInputs(Collection) which uses the input alphabet of this system as constraints.

Returns:

a collection of defined inputs for this system's procedures.

getProcedure

public default @Nullable M getProcedure(I callSymbol)

Convenience method for getProcedures() to quickly return the procedure of a given call symbol.

Parameters:

callSymbol - the call symbol

Returns:

the corresponding procedure. May be null if this system does not have a procedure for the given call symbol.

See Also:

getProcedures()

size

public default int size()

Returns the size of this system which is given by the sum of the sizes of all procedures. Note that this value does not necessarily correspond to the classical notion of SimpleAutomaton.size(), since semantically a ProceduralSystem may be infinite-sized SimpleTS.

Specified by:

size in interface FiniteRepresentation

Returns:

the size of this system

graphView

public default Graph<?,?> graphView()

Specified by:

graphView in interface GraphViewable