Package | Description |
---|---|
de.learnlib.algorithms.dhc.mealy | |
de.learnlib.algorithms.lstar.ce | |
de.learnlib.counterexamples |
Modifier and Type | Method and Description |
---|---|
static <I,O> GlobalSuffixFinder<? super I,? super net.automatalib.words.Word<O>> |
MealyDHC.BuilderDefaults.suffixFinder() |
Constructor and Description |
---|
MealyDHC(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
GlobalSuffixFinder<? super I,? super net.automatalib.words.Word<O>> suffixFinder,
Collection<? extends net.automatalib.words.Word<I>> initialSplitters)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
static <I,D> ObservationTableCEXHandler<I,D> |
ObservationTableCEXHandlers.fromGlobalSuffixFinder(GlobalSuffixFinder<I,D> globalFinder) |
Modifier and Type | Field and Description |
---|---|
static GlobalSuffixFinder<Object,Object> |
GlobalSuffixFinders.FIND_LINEAR
Adds the single suffix found by the access sequence transformation in ascending linear order.
|
static GlobalSuffixFinder<Object,Object> |
GlobalSuffixFinders.FIND_LINEAR_ALLSUFFIXES
Adds the suffix found by the access sequence transformation in ascending linear order, and all of its suffixes.
|
static GlobalSuffixFinder<Object,Object> |
GlobalSuffixFinders.FIND_LINEAR_REVERSE
Adds the single suffix found by the access sequence transformation in descending linear order.
|
static GlobalSuffixFinder<Object,Object> |
GlobalSuffixFinders.FIND_LINEAR_REVERSE_ALLSUFFIXES
Adds the suffix found by the access sequence transformation in descending linear order, and all of its suffixes.
|
static GlobalSuffixFinder<Object,Object> |
GlobalSuffixFinders.MALER_PNUELI
Adds all suffixes of the input word, as suggested by Maler & Pnueli.
|
static GlobalSuffixFinder<Object,Object> |
GlobalSuffixFinders.RIVEST_SCHAPIRE
Adds the single suffix found by the access sequence transformation using binary search.
|
static GlobalSuffixFinder<Object,Object> |
GlobalSuffixFinders.RIVEST_SCHAPIRE_ALLSUFFIXES
Adds the suffix found by the access sequence transformation using binary search, and all of its suffixes.
|
static GlobalSuffixFinder<Object,Object> |
GlobalSuffixFinders.SHAHBAZ
Adds all suffixes of the remainder of the input word, after stripping a maximal one-letter extension of an access
sequence.
|
Modifier and Type | Method and Description |
---|---|
static <I,D> GlobalSuffixFinder<I,D> |
GlobalSuffixFinders.fromLocalFinder(LocalSuffixFinder<I,D> localFinder)
Transforms a
LocalSuffixFinder into a global one. |
static <I,D> GlobalSuffixFinder<I,D> |
GlobalSuffixFinders.fromLocalFinder(LocalSuffixFinder<I,D> localFinder,
boolean allSuffixes)
Transforms a
LocalSuffixFinder into a global one. |
static GlobalSuffixFinder<Object,Object>[] |
GlobalSuffixFinders.values() |
Copyright © 2018. All rights reserved.