net.automatalib.words

Interface VPDAlphabet<I>

Type Parameters:

I - input alphabet type

All Superinterfaces:

Alphabet<I>, ArrayWritable<I>, Collection<I>, Comparator<I>, IntFunction<I>, Iterable<I>, ToIntFunction<I>

All Known Implementing Classes:

AbstractVPDAlphabet, DefaultVPDAlphabet, GrowingVPDAlphabet

public interface VPDAlphabet<I>
extends Alphabet<I>

Alphabet definition for visible push-down automata. Partitions the overall input alphabet into call-, internal-, and return symbols.

Author:

Malte Isberner

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	VPDAlphabet.SymbolType

Method Summary

Modifier and Type	Method and Description
default int	callReturnBalance(Word<I> word)
Alphabet<I>	getCallAlphabet()
I	getCallSymbol(int index) The Alphabet.getSymbol(int) variant for the call alphabet.
int	getCallSymbolIndex(I symbol) The Alphabet.getSymbolIndex(Object) variant for the call alphabet.
Collection<I>	getCallSymbols()
Alphabet<I>	getInternalAlphabet()
I	getInternalSymbol(int index) The Alphabet.getSymbol(int) variant for the internal alphabet.
int	getInternalSymbolIndex(I symbol) The Alphabet.getSymbolIndex(Object) variant for the internal alphabet.
Collection<I>	getInternalSymbols()
int	getNumCalls()
int	getNumInternals()
int	getNumReturns()
Alphabet<I>	getReturnAlphabet()
I	getReturnSymbol(int index) The Alphabet.getSymbol(int) variant for the return alphabet.
int	getReturnSymbolIndex(I symbol) The Alphabet.getSymbolIndex(Object) variant for the return alphabet.
Collection<I>	getReturnSymbols()
VPDAlphabet.SymbolType	getSymbolType(I symbol)
default boolean	isCallMatched(Word<I> word)
default boolean	isCallSymbol(I symbol)
default boolean	isInternalSymbol(I symbol)
default boolean	isReturnMatched(Word<I> word)
default boolean	isReturnSymbol(I symbol)
default boolean	isWellMatched(Word<I> word)
default Word<I>	longestWellMatchedPrefix(Word<I> word)
default Word<I>	longestWellMatchedSuffix(Word<I> word)

Methods inherited from interface net.automatalib.words.Alphabet

apply, applyAsInt, compare, containsSymbol, getSymbol, getSymbolIndex, translateFrom, writeToArray

Methods inherited from interface net.automatalib.commons.util.array.ArrayWritable

size

Methods inherited from interface java.util.Collection

add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, parallelStream, remove, removeAll, removeIf, retainAll, size, spliterator, stream, toArray, toArray

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface java.util.Comparator

comparing, comparing, comparingDouble, comparingInt, comparingLong, equals, naturalOrder, nullsFirst, nullsLast, reversed, reverseOrder, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Method Detail

getCallAlphabet

Alphabet<I> getCallAlphabet()

getCallSymbol

I getCallSymbol(int index)
         throws IllegalArgumentException

The Alphabet.getSymbol(int) variant for the call alphabet.

Throws:

IllegalArgumentException

getCallSymbolIndex

int getCallSymbolIndex(I symbol)
                throws IllegalArgumentException

The Alphabet.getSymbolIndex(Object) variant for the call alphabet.

Throws:

IllegalArgumentException

getCallSymbols

Collection<I> getCallSymbols()

getInternalAlphabet

Alphabet<I> getInternalAlphabet()

getInternalSymbol

I getInternalSymbol(int index)
             throws IllegalArgumentException

The Alphabet.getSymbol(int) variant for the internal alphabet.

Throws:

IllegalArgumentException

getInternalSymbolIndex

int getInternalSymbolIndex(I symbol)
                    throws IllegalArgumentException

The Alphabet.getSymbolIndex(Object) variant for the internal alphabet.

Throws:

IllegalArgumentException

getInternalSymbols

Collection<I> getInternalSymbols()

getReturnAlphabet

Alphabet<I> getReturnAlphabet()

getReturnSymbol

I getReturnSymbol(int index)
           throws IllegalArgumentException

The Alphabet.getSymbol(int) variant for the return alphabet.

Throws:

IllegalArgumentException

getReturnSymbolIndex

int getReturnSymbolIndex(I symbol)
                  throws IllegalArgumentException

The Alphabet.getSymbolIndex(Object) variant for the return alphabet.

Throws:

IllegalArgumentException

getReturnSymbols

Collection<I> getReturnSymbols()

getNumCalls

int getNumCalls()

getNumInternals

int getNumInternals()

getNumReturns

int getNumReturns()

callReturnBalance

default int callReturnBalance(Word<I> word)

getSymbolType

VPDAlphabet.SymbolType getSymbolType(I symbol)

isCallMatched

default boolean isCallMatched(Word<I> word)

isCallSymbol

default boolean isCallSymbol(I symbol)

isInternalSymbol

default boolean isInternalSymbol(I symbol)

isReturnMatched

default boolean isReturnMatched(Word<I> word)

isReturnSymbol

default boolean isReturnSymbol(I symbol)

isWellMatched

default boolean isWellMatched(Word<I> word)

longestWellMatchedPrefix

default Word<I> longestWellMatchedPrefix(Word<I> word)

longestWellMatchedSuffix

default Word<I> longestWellMatchedSuffix(Word<I> word)