Modifier and Type | Field and Description |
---|---|
protected ClosingStrategy<? super I,? super D> |
ExtensibleAutomatonLStar.closingStrategy |
Modifier and Type | Method and Description |
---|---|
static <I,D> ClosingStrategy<? super I,? super D> |
ExtensibleAutomatonLStar.BuilderDefaults.closingStrategy() |
Constructor and Description |
---|
ExtensibleAutomatonLStar(Alphabet<I> alphabet,
MembershipOracle<I,D> oracle,
AI internalHyp,
List<Word<I>> initialPrefixes,
List<Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super D> cexHandler,
ClosingStrategy<? super I,? super D> closingStrategy) |
Modifier and Type | Class and Description |
---|---|
class |
CloseRandomStrategy |
Modifier and Type | Field and Description |
---|---|
static ClosingStrategy<Object,Object> |
ClosingStrategies.CLOSE_FIRST
Closing strategy that selects the first row from each equivalence class as representative.
|
static ClosingStrategy<Object,Object> |
ClosingStrategies.CLOSE_LEX_MIN
Closing strategy that selects the lexicographically minimal row (wrt. its prefix)
of each equivalence class as representative.
|
static ClosingStrategy<Object,Object> |
ClosingStrategies.CLOSE_RANDOM
Closing strategy that randomly selects one representative row to close from each equivalence
class.
|
static ClosingStrategy<Object,Object> |
ClosingStrategies.CLOSE_SHORTEST
Closing strategy that selects the shortest row of each equivalence class (more precisely:
a row which's prefix has minimal length in the respective class) as representative.
|
Modifier and Type | Method and Description |
---|---|
static ClosingStrategy<Object,Object>[] |
ClosingStrategies.values() |
Constructor and Description |
---|
ExtensibleLStarDFA(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
List<Word<I>> initialPrefixes,
List<Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super Boolean> cexHandler,
ClosingStrategy<? super I,? super Boolean> closingStrategy) |
ExtensibleLStarDFA(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
List<Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super Boolean> cexHandler,
ClosingStrategy<? super I,? super Boolean> closingStrategy)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
static <A extends MutableMealyMachine<?,I,?,O>,I,O> |
ClassicLStarMealy.createForSymbolOracle(Alphabet<I> alphabet,
MembershipOracle<I,O> oracle,
List<Word<I>> initialSuffixes,
ObservationTableCEXHandler<I,O> cexHandler,
ClosingStrategy<? super I,? super O> closingStrategy) |
static <A extends MutableMealyMachine<?,I,?,O>,I,O> |
ClassicLStarMealy.createForWordOracle(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle,
List<Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super O> cexHandler,
ClosingStrategy<? super I,? super O> closingStrategy) |
Constructor and Description |
---|
ClassicLStarMealy(Alphabet<I> alphabet,
MembershipOracle<I,O> oracle,
List<Word<I>> initialPrefixes,
List<Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super O> cexHandler,
ClosingStrategy<? super I,? super O> closingStrategy) |
ClassicLStarMealy(Alphabet<I> alphabet,
MembershipOracle<I,O> oracle,
List<Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super O> cexHandler,
ClosingStrategy<? super I,? super O> closingStrategy)
Constructor.
|
ExtensibleLStarMealy(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle,
List<Word<I>> initialPrefixes,
List<Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super Word<O>> cexHandler,
ClosingStrategy<? super I,? super Word<O>> closingStrategy) |
ExtensibleLStarMealy(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle,
List<Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super Word<O>> cexHandler,
ClosingStrategy<? super I,? super Word<O>> closingStrategy) |
Constructor and Description |
---|
MalerPnueliDFA(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
List<Word<I>> initialSuffixes,
ClosingStrategy<? super I,? super Boolean> closingStrategy) |
MalerPnueliMealy(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle,
List<Word<I>> initialSuffixes,
ClosingStrategy<? super I,? super Word<O>> closingStrategy) |
Constructor and Description |
---|
RivestSchapireDFA(Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
List<Word<I>> initialSuffixes,
ClosingStrategy<? super I,? super Boolean> closingStrategy) |
RivestSchapireMealy(Alphabet<I> alphabet,
MembershipOracle<I,Word<O>> oracle,
List<Word<I>> initialSuffixes,
ClosingStrategy<? super I,? super Word<O>> closingStrategy) |
Copyright © 2015. All rights reserved.