Package net.automatalib.automaton.procedural

Class EmptySBA<I>

java.lang.Object

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

Type Parameters:

I - input symbol type

All Implemented Interfaces:

FiniteRepresentation, InputAlphabetHolder<I>, Output<I,Boolean>, SuffixOutput<I,Boolean>, SBA<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 EmptySBA<I>
extends Object
implements SBA<Void,I>

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

Constructor Summary

Constructors

Constructor	Description
EmptySBA(ProceduralInputAlphabet<I> alphabet)

Method Summary

Modifier and Type	Method	Description
@Nullable I	getInitialProcedure()
Void	getInitialState()
ProceduralInputAlphabet<I>	getInputAlphabet()
default Collection<I>	getProceduralInputs()
default M	getProcedure(I arg0)
Map<I,DFA<?,I>>	getProcedures()
Void	getTransition(Void state, I input)
default Graph<?,?>	graphView()
boolean	isAccepting(Void state)
default int	size()

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.automaton.procedural.SBA

computeOutput, getProceduralInputs

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.ts.TransitionSystem

powersetView

Methods inherited from interface net.automatalib.ts.UniversalDTS

getTransitionProperty

Constructor Detail

EmptySBA

public EmptySBA(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)

Specified by:

getTransition in interface DeterministicTransitionSystem<Void,I,Void>

isAccepting

public boolean isAccepting(Void state)

Specified by:

isAccepting in interface AcceptorTS<Void,I>

getInitialState

public Void getInitialState()

Specified by:

getInitialState in interface SimpleDTS<Void,I>

getProceduralInputs

public default Collection<I> getProceduralInputs()

getProcedure

public default M getProcedure(I arg0)

size

public default int size()

Specified by:

size in interface FiniteRepresentation

graphView

public default Graph<?,?> graphView()

Specified by:

graphView in interface GraphViewable