Uses of Class
net.automatalib.word.Word

Packages that use Word

Package	Description
net.automatalib.alphabet	This package contains the basic classes concerning alphabets.
net.automatalib.automaton.procedural
net.automatalib.automaton.transducer
net.automatalib.modelchecking
net.automatalib.word	This package contains the basic classes concerning words.

Uses of Word in net.automatalib.alphabet

Methods in net.automatalib.alphabet that return Word

Modifier and Type	Method	Description
default Word<I>	ProceduralInputAlphabet.expand(Iterable<I> input, Mapping<I,Word<I>> terminatingSequences)	Replaces all occurrences of call symbols in input with an embedded terminating sequence provided by terminatingSequences.
default Word<I>	VPAlphabet.longestWellMatchedPrefix(Word<I> word)	Return the longest well-matched (relative to this alphabet) prefix of the given word.
default Word<I>	VPAlphabet.longestWellMatchedSuffix(Word<I> word)	Return the longest well-matched (relative to this alphabet) suffix of the given word.
default Word<I>	ProceduralInputAlphabet.project(Word<I> input, int idx)	Replaces all well-matched occurrences of procedural invocations in input with the single respective call symbol.

Methods in net.automatalib.alphabet that return types with arguments of type Word

Modifier and Type	Method	Description
default <O> Pair<Word<I>,Word<O>>	ProceduralInputAlphabet.project(Word<I> input, Word<O> output, int idx)	A generalization of ProceduralInputAlphabet.project(Word, int) which applies the transformation to the input word as well as an output word (in a symbol-wise fashion).
default <O> Pair<Word<I>,Word<O>>	ProceduralInputAlphabet.project(Word<I> input, Word<O> output, int idx)	A generalization of ProceduralInputAlphabet.project(Word, int) which applies the transformation to the input word as well as an output word (in a symbol-wise fashion).

Methods in net.automatalib.alphabet with parameters of type Word

Modifier and Type	Method	Description
default int	VPAlphabet.callReturnBalance(Word<I> word)	Returns the call-return balance of the given word relative to this alphabet.
default int	ProceduralInputAlphabet.findCallIndex(Word<I> input, int idx)	Convenience method for ProceduralInputAlphabet.findCallIndex(List, int) that transforms the given input word into a list.
default int	ProceduralInputAlphabet.findReturnIndex(Word<I> input, int idx)	Convenience method for ProceduralInputAlphabet.findReturnIndex(List, int) that transforms the given input word into a list.
default boolean	VPAlphabet.isCallMatched(Word<I> word)	Returns whether the given word is call-matched relative to this alphabet.
default boolean	VPAlphabet.isReturnMatched(Word<I> word)	Returns whether the given word is return-matched relative to this alphabet.
default boolean	VPAlphabet.isWellMatched(Word<I> word)	Returns whether the given word is well-matched relative to this alphabet.
default Word<I>	VPAlphabet.longestWellMatchedPrefix(Word<I> word)	Return the longest well-matched (relative to this alphabet) prefix of the given word.
default Word<I>	VPAlphabet.longestWellMatchedSuffix(Word<I> word)	Return the longest well-matched (relative to this alphabet) suffix of the given word.
default Word<I>	ProceduralInputAlphabet.project(Word<I> input, int idx)	Replaces all well-matched occurrences of procedural invocations in input with the single respective call symbol.
default <O> Pair<Word<I>,Word<O>>	ProceduralInputAlphabet.project(Word<I> input, Word<O> output, int idx)	A generalization of ProceduralInputAlphabet.project(Word, int) which applies the transformation to the input word as well as an output word (in a symbol-wise fashion).

Method parameters in net.automatalib.alphabet with type arguments of type Word

Modifier and Type	Method	Description
default Word<I>	ProceduralInputAlphabet.expand(Iterable<I> input, Mapping<I,Word<I>> terminatingSequences)	Replaces all occurrences of call symbols in input with an embedded terminating sequence provided by terminatingSequences.

Uses of Word in net.automatalib.automaton.procedural

Methods in net.automatalib.automaton.procedural that return Word

Modifier and Type	Method	Description
default Word<O>	SPMM.computeSuffixOutput(Iterable<? extends I> prefix, Iterable<? extends I> suffix)

Uses of Word in net.automatalib.automaton.transducer

Methods in net.automatalib.automaton.transducer that return Word

Modifier and Type	Method	Description
default Word<O>	StateOutputAutomaton.computeStateOutput(S state, Iterable<? extends I> input)
default Word<O>	SubsequentialTransducer.computeStateOutput(S state, Iterable<? extends I> input)
default Word<O>	TransitionOutputAutomaton.computeStateOutput(S state, Iterable<? extends I> input)

Methods in net.automatalib.automaton.transducer that return types with arguments of type Word

Modifier and Type	Method	Description
default UniversalGraph<S,TransitionEdge<I,T>,Word<O>,TransitionEdge.Property<I,Word<O>>>	SubsequentialTransducer.transitionGraphView(Collection<? extends I> inputs)
default UniversalGraph<S,TransitionEdge<I,T>,Word<O>,TransitionEdge.Property<I,Word<O>>>	SubsequentialTransducer.transitionGraphView(Collection<? extends I> inputs)

Uses of Word in net.automatalib.modelchecking

Methods in net.automatalib.modelchecking that return Word

Modifier and Type	Method	Description
Word<I>	Lasso.getLoop()	Gets the loop of the lasso.
Word<I>	Lasso.getPrefix()	Gets the prefix of the lasso.
Word<I>	Lasso.getWord()	Gets the finite representation of the lasso.

Uses of Word in net.automatalib.word

Methods in net.automatalib.word that return Word

Modifier and Type	Method	Description
Word<I>	Word.append(I symbol)	Appends a symbol to this word and returns the result as a new word.
Word<I>	Word.canonicalNext(Alphabet<I> sigma)	Retrieves the next word after this in canonical order.
Word<I>	Word.concat(Word<? extends I>... words)	Concatenates this word with several other words and returns the result as a new word.
protected Word<I>	Word.concatInternal(Word<? extends I>... words)	Realizes the concatenation of this word with several other words.
static <I> Word<I>	Word.epsilon()	Retrieves the empty word.
Word<I>	Word.flatten()	Retrieves a "flattened" version of this word, i.e., without any hierarchical structure attached.
static <I> Word<I>	Word.fromArray(I[] symbols, int offset, int length)	Creates a word from a subrange of an array of symbols.
static Word<Character>	Word.fromCharSequence(CharSequence cs)
static <I> Word<I>	Word.fromLetter(I letter)	Constructs a word from a single letter.
static <I> Word<I>	Word.fromList(List<? extends I> symbolList)	Creates a word from a list of symbols.
static Word<Character>	Word.fromString(String str)
static <I> Word<I>	Word.fromSymbols(I... symbols)	Creates a word from an array of symbols.
static <I> Word<I>	Word.fromWords(Collection<? extends Word<? extends I>> words)
static <I> Word<I>	Word.fromWords(Word<? extends I>... words)
Word<I>	Word.longestCommonPrefix(Word<?> other)	Determines the longest common prefix of this word and another word.
Word<I>	Word.longestCommonSuffix(Word<?> other)	Determines the longest common suffix of this word and another word.
Word<I>	Word.prefix(int prefixLen)	Retrieves a prefix of the given length.
Word<I>	Word.prepend(I symbol)	Prepends a symbol to this word and returns the result as a new word.
Word<I>	Word.subWord(int fromIndex)	Retrieves the subword of this word starting at the given index and extending until the end of this word.
Word<I>	Word.subWord(int fromIndex, int toIndex)	Retrieves a word representing the specified subrange of this word.
protected Word<I>	Word.subWordInternal(int fromIndex, int toIndex)	Internal subword operation implementation.
Word<I>	Word.suffix(int suffixLen)	Retrieves a suffix of the given length.
Word<I>	WordBuilder.toWord()	Creates a word from the contents of the internal storage.
Word<I>	WordBuilder.toWord(int fromIndex, int toIndex)	Creates a word from the given range of the contents of the internal storage.
<T> Word<T>	Word.transform(Function<? super I,? extends T> transformer)	Transforms a word symbol-by-symbol, using the specified transformation function.
Word<I>	Word.trimmed()
static <I> Word<I>	Word.upcast(Word<? extends I> word)	Performs an upcast of the generic type parameter of the word.

Methods in net.automatalib.word that return types with arguments of type Word

Modifier and Type	Method	Description
static <I> Comparator<Word<I>>	Word.canonicalComparator(Comparator<? super I> symComparator)
static <I> Collector<I,?,Word<I>>	Word.collector()	Returns a Collector that collects individual symbols (in order) and aggregates them in a Word.
List<Word<I>>	Word.prefixes(boolean longestFirst)	Retrieves the list of all prefixes of this word.
List<Word<I>>	Word.suffixes(boolean longestFirst)	Retrieves the list of all suffixes of this word.

Methods in net.automatalib.word with parameters of type Word

Modifier and Type	Method	Description
WordBuilder<I>	WordBuilder.append(Word<? extends I> word)	Appends a word to the contents of the internal storage.
WordBuilder<I>	WordBuilder.append(Word<? extends I>... words)	Appends several words to the contents of the internal storage.
Word<I>	Word.concat(Word<? extends I>... words)	Concatenates this word with several other words and returns the result as a new word.
protected Word<I>	Word.concatInternal(Word<? extends I>... words)	Realizes the concatenation of this word with several other words.
static <I> Word<I>	Word.fromWords(Word<? extends I>... words)
boolean	Word.isPrefixOf(Word<?> other)	Checks if this word is a prefix of another word.
boolean	Word.isSuffixOf(Word<?> other)	Checks if this word is a suffix of another word.
Word<I>	Word.longestCommonPrefix(Word<?> other)	Determines the longest common prefix of this word and another word.
Word<I>	Word.longestCommonSuffix(Word<?> other)	Determines the longest common suffix of this word and another word.
WordBuilder<I>	WordBuilder.repeatAppend(int num, Word<I> word)	Appends num copies of the given word to the contents of the initial storage.
static <I> Word<I>	Word.upcast(Word<? extends I> word)	Performs an upcast of the generic type parameter of the word.

Method parameters in net.automatalib.word with type arguments of type Word

Modifier and Type	Method	Description
static <I> Word<I>	Word.fromWords(Collection<? extends Word<? extends I>> words)

Constructors in net.automatalib.word with parameters of type Word

Constructor	Description
WordBuilder(int capacity, Word<I> init)	Constructor.
WordBuilder(Word<I> init)	Constructor.