ProceduralOutputAlphabet (AutomataLib 0.11.0 API)

Type Parameters:

O - output symbol type

All Superinterfaces:

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

All Known Implementing Classes:

DefaultProceduralOutputAlphabet
```
public interface ProceduralOutputAlphabet<O>
extends Alphabet<O>
```
A specialized Alphabet for procedural systems that combines a regular output alphabet with a designated error symbol.

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method	Description
`O`	`getErrorSymbol()`	Returns the error symbol of this alphabet.
`Alphabet<O>`	`getRegularAlphabet()`	Returns the regular output symbols of this alphabet.
`default boolean`	`isErrorSymbol(O symbol)`	Convenience method that compares the given `symbol` with `this` alphabet's `error symbol`.

Methods inherited from interface net.automatalib.alphabet.Alphabet
apply, applyAsInt, compare, containsSymbol, getSymbol, getSymbolIndex, translateFrom, writeToArray

Methods inherited from interface net.automatalib.common.smartcollection.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.util.Comparator
equals, reversed, thenComparing, thenComparing, thenComparing, thenComparingDouble, thenComparingInt, thenComparingLong

Methods inherited from interface java.lang.Iterable
forEach

- Method Detail
  - getRegularAlphabet
```
Alphabet<O> getRegularAlphabet()
```
    Returns the regular output symbols of this alphabet. Note that this alphabet must not contain the error symbol.
    
    Returns:
    
    the regular output symbols of this alphabet
  - getErrorSymbol
```
O getErrorSymbol()
```
    Returns the error symbol of this alphabet.
    
    Returns:
    
    the error symbol
  - isErrorSymbol
```
default boolean isErrorSymbol(O symbol)
```
    Convenience method that compares the given symbol with this alphabet's error symbol.
    
    Parameters:
    
    symbol - the symbol to check
    
    Returns:
    
    true if symbol equals this alphabet's error symbol, false otherwise.