Modifier and Type | Method and Description |
---|---|
static <S,I,T,O> Word<O> |
AbstractTransOutAutomaton.computeOutput(TransitionOutputAutomaton<S,I,T,O> $this,
Iterable<I> input) |
static <S,I,T,O> Word<O> |
AbstractTransOutAutomaton.computeSuffixOutput(TransitionOutputAutomaton<S,I,T,O> $this,
Iterable<I> prefix,
Iterable<I> suffix) |
Modifier and Type | Method and Description |
---|---|
Word<O> |
FastMoore.computeOutput(Iterable<I> input) |
Word<O> |
FastMealy.computeOutput(Iterable<I> input) |
Word<O> |
FastMoore.computeSuffixOutput(Iterable<I> prefix,
Iterable<I> suffix) |
Word<O> |
FastMealy.computeSuffixOutput(Iterable<I> prefix,
Iterable<I> suffix) |
Modifier and Type | Method and Description |
---|---|
Word<O> |
CompactMealy.computeOutput(Iterable<I> input) |
Word<O> |
CompactMealy.computeSuffixOutput(Iterable<I> prefix,
Iterable<I> suffix) |
Modifier and Type | Method and Description |
---|---|
Word<I> |
IncrementalConstruction.findSeparatingWord(A target,
Collection<? extends I> inputs,
boolean omitUndefined)
Checks the current state of the construction against a given target model,
and returns a word exposing a difference if there is one.
|
Modifier and Type | Method and Description |
---|---|
boolean |
IncrementalConstruction.hasDefinitiveInformation(Word<I> word)
Checks whether this class has definitive information about a given word.
|
Modifier and Type | Method and Description |
---|---|
Word<I> |
AbstractIncrementalDFABuilder.findSeparatingWord(DFA<?,I> target,
Collection<? extends I> inputs,
boolean omitUndefined) |
Modifier and Type | Method and Description |
---|---|
protected net.automatalib.incremental.dfa.State |
IncrementalPCDFABuilder.getState(Word<I> word) |
protected net.automatalib.incremental.dfa.State |
IncrementalDFABuilder.getState(Word<I> word)
Retrieves the state reached by a given word.
|
protected abstract net.automatalib.incremental.dfa.State |
AbstractIncrementalDFABuilder.getState(Word<I> word) |
boolean |
AbstractIncrementalDFABuilder.hasDefinitiveInformation(Word<I> word) |
void |
AbstractIncrementalDFABuilder.insert(Word<I> word)
Inserts a word into the set of accepted words.
|
void |
IncrementalPCDFABuilder.insert(Word<I> word,
boolean accepting) |
void |
IncrementalDFABuilder.insert(Word<I> word,
boolean accepting)
Inserts a word into either the set of accepted or rejected words.
|
abstract void |
AbstractIncrementalDFABuilder.insert(Word<I> word,
boolean accepting) |
Acceptance |
IncrementalPCDFABuilder.lookup(Word<I> word) |
Acceptance |
IncrementalDFABuilder.lookup(Word<I> word)
Checks the ternary acceptance status for a given word.
|
abstract Acceptance |
AbstractIncrementalDFABuilder.lookup(Word<I> word) |
Modifier and Type | Method and Description |
---|---|
Word<I> |
IncrementalMealyBuilder.findSeparatingWord(MealyMachine<?,I,?,O> target,
Collection<? extends I> inputs,
boolean omitUndefined) |
Modifier and Type | Method and Description |
---|---|
boolean |
IncrementalMealyBuilder.hasDefinitiveInformation(Word<I> word) |
void |
IncrementalMealyBuilder.insert(Word<I> word,
Word<O> outputWord)
Incorporates a pair of input/output words into the stored information.
|
void |
IncrementalMealyBuilder.insert(Word<I> word,
Word<O> outputWord)
Incorporates a pair of input/output words into the stored information.
|
boolean |
IncrementalMealyBuilder.isComplete(Word<I> word)
Checks whether there exists secured information about the output
for the given word.
|
boolean |
IncrementalMealyBuilder.lookup(Word<I> word,
WordBuilder<O> output)
Retrieves the output word for the given input word.
|
Modifier and Type | Method and Description |
---|---|
static <I> Word<I> |
Automata.findSeparatingWord(UniversalDeterministicAutomaton<?,I,?,?,?> reference,
UniversalDeterministicAutomaton<?,I,?,?,?> other,
Collection<? extends I> inputs)
Finds a separating word for two automata.
|
static <S,I> Word<I> |
Automata.findSeparatingWord(UniversalDeterministicAutomaton<S,I,?,?,?> automaton,
S state1,
S state2,
Collection<? extends I> inputs)
Finds a separating word for two states in an automaton.
|
Modifier and Type | Method and Description |
---|---|
static <I> List<Word<I>> |
Automata.characterizingSet(UniversalDeterministicAutomaton<?,I,?,?,?> automaton,
Collection<? extends I> inputs)
Computes a characterizing set, and returns it as a
List . |
static <S,I> List<Word<I>> |
Automata.stateCharacterizingSet(UniversalDeterministicAutomaton<S,I,?,?,?> automaton,
Collection<? extends I> inputs,
S state)
Computes a characterizing set for a single state, and returns it as a
List . |
static <I> List<Word<I>> |
Automata.stateCover(DeterministicAutomaton<?,I,?> automaton,
Collection<? extends I> inputs) |
static <I> List<Word<I>> |
Automata.transitionCover(DeterministicAutomaton<?,I,?> automaton,
Collection<? extends I> inputs) |
Modifier and Type | Method and Description |
---|---|
static <I> void |
Automata.characterizingSet(UniversalDeterministicAutomaton<?,I,?,?,?> automaton,
Collection<? extends I> inputs,
Collection<? super Word<I>> result)
Computes a characterizing set for the given automaton.
|
static <I> void |
Automata.cover(DeterministicAutomaton<?,I,?> automaton,
Collection<? extends I> inputs,
Collection<? super Word<I>> states,
Collection<? super Word<I>> transitions) |
static <I> void |
Automata.cover(DeterministicAutomaton<?,I,?> automaton,
Collection<? extends I> inputs,
Collection<? super Word<I>> states,
Collection<? super Word<I>> transitions) |
static <S,I> void |
Automata.stateCharacterizingSet(UniversalDeterministicAutomaton<S,I,?,?,?> automaton,
Collection<? extends I> inputs,
S state,
Collection<? super Word<I>> result)
Computes a characterizing set for a single state.
|
Modifier and Type | Method and Description |
---|---|
Word<I> |
NearLinearEquivalenceTest.findSeparatingWord(UniversalDeterministicAutomaton<?,I,?,?,?> other,
Collection<? extends I> inputs) |
Word<I> |
DeterministicEquivalenceTest.findSeparatingWord(UniversalDeterministicAutomaton<?,I,?,?,?> other,
Collection<? extends I> inputs) |
static <S,I,T> Word<I> |
NearLinearEquivalenceTest.findSeparatingWord(UniversalDeterministicAutomaton<S,I,T,?,?> target,
S init1,
S init2,
Collection<? extends I> inputs) |
static <I,S,T,S2,T2> |
DeterministicEquivalenceTest.findSeparatingWord(UniversalDeterministicAutomaton<S,I,T,?,?> reference,
UniversalDeterministicAutomaton<S2,I,T2,?,?> other,
Collection<? extends I> inputs) |
static <S,S2,I,T,T2> |
NearLinearEquivalenceTest.findSeparatingWord(UniversalDeterministicAutomaton<S,I,T,?,?> target,
UniversalDeterministicAutomaton<S2,I,T2,?,?> other,
Collection<? extends I> inputs) |
Modifier and Type | Method and Description |
---|---|
static <S,I,T> void |
CharacterizingSets.findCharacterizingSet(UniversalDeterministicAutomaton<S,I,T,?,?> automaton,
Collection<? extends I> inputs,
Collection<? super Word<I>> result)
Computes a characterizing set for the given automaton.
|
static <S,I,T> void |
CharacterizingSets.findCharacterizingSet(UniversalDeterministicAutomaton<S,I,T,?,?> automaton,
Collection<? extends I> inputs,
S state,
Collection<? super Word<I>> result)
Computes a characterizing set for a specified state in the given automaton.
|
Modifier and Type | Method and Description |
---|---|
protected Word<I> |
Word._concat(Word<I>... words)
Realizes the concatenation of this word with several other words.
|
protected Word<I> |
Word._subWord(int fromIndex,
int toIndex)
Internal subword operation implementation.
|
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<I>... words)
Concatenates this word with several other words and returns the result
as a new word.
|
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 <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.
|
Word<I> |
Word.longestCommonPrefix(Word<I> other)
Determines the longest common prefix of this word and another
word.
|
Word<I> |
Word.longestCommonSuffix(Word<I> 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.
|
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.
|
Word<I> |
Word.trimmed() |
Modifier and Type | Method and Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
protected Word<I> |
Word._concat(Word<I>... words)
Realizes the concatenation of this word with several other words.
|
WordBuilder<I> |
WordBuilder.append(Word<? extends I>... words)
Appends several words to the contents of the internal storage.
|
WordBuilder<I> |
WordBuilder.append(Word<? extends I> word)
Appends a word to the contents of the internal storage.
|
Word<I> |
Word.concat(Word<I>... words)
Concatenates this word with several other words and returns the result
as a new word.
|
boolean |
Word.isPrefixOf(Word<I> other)
Checks if this word is a prefix of another word.
|
boolean |
Word.isSuffixOf(Word<I> other)
Checks if this word is a suffix of another word
|
Word<I> |
Word.longestCommonPrefix(Word<I> other)
Determines the longest common prefix of this word and another
word.
|
Word<I> |
Word.longestCommonSuffix(Word<I> 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.
|
Constructor and Description |
---|
WordBuilder(int capacity,
Word<I> init)
Constructor.
|
WordBuilder(Word<I> init)
Constructor.
|
Modifier and Type | Class and Description |
---|---|
class |
ExtensionWord<I> |
Modifier and Type | Method and Description |
---|---|
protected Word<I> |
ExtensionWord._subWord(int fromIndex,
int toIndex) |
Word<I> |
ExtensionWord.prepend(I symbol) |
Modifier and Type | Method and Description |
---|---|
boolean |
ExtensionWord.isPrefixOf(Word<I> other) |
Constructor and Description |
---|
ExtensionWord(Word<I> word,
I letter) |
Copyright © 2015. All Rights Reserved.