I
- input symbol classO
- output symbol classpublic class ClassicLStarMealy<I,O> extends AbstractExtensibleAutomatonLStar<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,O,Integer,net.automatalib.automata.transout.impl.compact.CompactMealyTransition<O>,Void,O,net.automatalib.automata.transout.impl.compact.CompactMealy<I,O>>
AbstractExtensibleAutomatonLStar.BuilderDefaults
OTLearner.OTLearnerDFA<I>, OTLearner.OTLearnerMealy<I,O>
GlobalSuffixLearner.GlobalSuffixLearnerDFA<I>, GlobalSuffixLearner.GlobalSuffixLearnerMealy<I,O>
LearningAlgorithm.DFALearner<I>, LearningAlgorithm.MealyLearner<I,O>
cexHandler, closingStrategy, initialPrefixes, initialSuffixes
internalHyp, stateInfos
alphabet, oracle, table
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.
|
Modifier and Type | Method and Description |
---|---|
static <A extends net.automatalib.automata.transout.MutableMealyMachine<?,I,?,O>,I,O> |
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> |
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) |
protected net.automatalib.automata.transout.MealyMachine<?,I,?,O> |
exposeInternalHypothesis() |
protected net.automatalib.automata.concepts.SuffixOutput<I,O> |
hypothesisOutput() |
protected List<net.automatalib.words.Word<I>> |
initialSuffixes()
Returns the list of initial suffixes which are used to initialize the table.
|
protected Void |
stateProperty(ObservationTable<I,O> table,
Row<I> stateRow)
Derives a state property from the corresponding row.
|
protected O |
transitionProperty(ObservationTable<I,O> table,
Row<I> stateRow,
int inputIdx)
Derives a transition property from the corresponding transition.
|
initialPrefixes, refineHypothesisInternal, selectClosingRows
addAlphabetSymbol, createState, doRefineHypothesis, getHypothesisModel, resume, setTransition, startLearning, suspend, updateInternalHypothesis
addGlobalSuffixes, analyzeInconsistency, completeConsistentTable, getGlobalSuffixes, getObservationTable, incorporateCounterExample, refineHypothesis
public ClassicLStarMealy(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,O> oracle, ObservationTableCEXHandler<? super I,? super O> cexHandler, ClosingStrategy<? super I,? super O> closingStrategy)
alphabet
- the learning alphabetoracle
- the (Mealy) oraclepublic 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)
public static <A extends net.automatalib.automata.transout.MutableMealyMachine<?,I,?,O>,I,O> ClassicLStarMealy<I,O> createForSymbolOracle(net.automatalib.words.Alphabet<I> alphabet, MembershipOracle<I,O> oracle, ObservationTableCEXHandler<I,O> cexHandler, ClosingStrategy<? super I,? super O> closingStrategy)
public static <A extends net.automatalib.automata.transout.MutableMealyMachine<?,I,?,O>,I,O> ClassicLStarMealy<I,O> 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)
protected List<net.automatalib.words.Word<I>> initialSuffixes()
AbstractLStar
initialSuffixes
in class AbstractExtensibleAutomatonLStar<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,O,Integer,net.automatalib.automata.transout.impl.compact.CompactMealyTransition<O>,Void,O,net.automatalib.automata.transout.impl.compact.CompactMealy<I,O>>
protected net.automatalib.automata.transout.MealyMachine<?,I,?,O> exposeInternalHypothesis()
protected Void stateProperty(ObservationTable<I,O> table, Row<I> stateRow)
AbstractAutomatonLStar
stateProperty
in class AbstractAutomatonLStar<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,O,Integer,net.automatalib.automata.transout.impl.compact.CompactMealyTransition<O>,Void,O,net.automatalib.automata.transout.impl.compact.CompactMealy<I,O>>
table
- the current observation tablestateRow
- the row for which the state is createdprotected O transitionProperty(ObservationTable<I,O> table, Row<I> stateRow, int inputIdx)
AbstractAutomatonLStar
N.B.: Not the transition row is passed to this method, but the row for the outgoing state. The transition row can
be retrieved using Row.getSuccessor(int)
.
transitionProperty
in class AbstractAutomatonLStar<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,O,Integer,net.automatalib.automata.transout.impl.compact.CompactMealyTransition<O>,Void,O,net.automatalib.automata.transout.impl.compact.CompactMealy<I,O>>
stateRow
- the row for the source stateinputIdx
- the index of the input symbol to considerprotected net.automatalib.automata.concepts.SuffixOutput<I,O> hypothesisOutput()
hypothesisOutput
in class AbstractLStar<net.automatalib.automata.transout.MealyMachine<?,I,?,O>,I,O>
Copyright © 2018. All rights reserved.