Modifier and Type | Field and Description |
---|---|
protected ClosingStrategy<? super I,? super D> |
AbstractExtensibleAutomatonLStar.closingStrategy |
Modifier and Type | Method and Description |
---|---|
static <I,D> ClosingStrategy<? super I,? super D> |
AbstractExtensibleAutomatonLStar.BuilderDefaults.closingStrategy() |
Constructor and Description |
---|
AbstractExtensibleAutomatonLStar(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,D> oracle,
AI internalHyp,
List<net.automatalib.words.Word<I>> initialPrefixes,
List<net.automatalib.words.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(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
List<net.automatalib.words.Word<I>> initialPrefixes,
List<net.automatalib.words.Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super Boolean> cexHandler,
ClosingStrategy<? super I,? super Boolean> closingStrategy) |
ExtensibleLStarDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
List<net.automatalib.words.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 net.automatalib.automata.transout.MutableMealyMachine<?,I,?,O>,I,O> |
ClassicLStarMealy.createForSymbolOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,O> oracle,
ObservationTableCEXHandler<I,O> cexHandler,
ClosingStrategy<? super I,? super O> closingStrategy) |
static <A extends net.automatalib.automata.transout.MutableMealyMachine<?,I,?,O>,I,O> |
ClassicLStarMealy.createForWordOracle(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
ObservationTableCEXHandler<? super I,? super O> cexHandler,
ClosingStrategy<? super I,? super O> closingStrategy) |
Constructor and Description |
---|
ClassicLStarMealy(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,O> oracle,
List<net.automatalib.words.Word<I>> initialPrefixes,
List<net.automatalib.words.Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super O> cexHandler,
ClosingStrategy<? super I,? super O> closingStrategy) |
ClassicLStarMealy(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,O> oracle,
ObservationTableCEXHandler<? super I,? super O> cexHandler,
ClosingStrategy<? super I,? super O> closingStrategy)
Constructor.
|
ExtensibleLStarMealy(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
List<net.automatalib.words.Word<I>> initialPrefixes,
List<net.automatalib.words.Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super net.automatalib.words.Word<O>> cexHandler,
ClosingStrategy<? super I,? super net.automatalib.words.Word<O>> closingStrategy) |
ExtensibleLStarMealy(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
List<net.automatalib.words.Word<I>> initialSuffixes,
ObservationTableCEXHandler<? super I,? super net.automatalib.words.Word<O>> cexHandler,
ClosingStrategy<? super I,? super net.automatalib.words.Word<O>> closingStrategy) |
Constructor and Description |
---|
MalerPnueliDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
List<net.automatalib.words.Word<I>> initialSuffixes,
ClosingStrategy<? super I,? super Boolean> closingStrategy) |
MalerPnueliMealy(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
List<net.automatalib.words.Word<I>> initialSuffixes,
ClosingStrategy<? super I,? super net.automatalib.words.Word<O>> closingStrategy) |
Constructor and Description |
---|
RivestSchapireDFA(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,Boolean> oracle,
List<net.automatalib.words.Word<I>> initialSuffixes,
ClosingStrategy<? super I,? super Boolean> closingStrategy) |
RivestSchapireMealy(net.automatalib.words.Alphabet<I> alphabet,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
List<net.automatalib.words.Word<I>> initialSuffixes,
ClosingStrategy<? super I,? super net.automatalib.words.Word<O>> closingStrategy) |
Copyright © 2018. All rights reserved.