- Caches - Class in de.learnlib.cache
-
- Category - Enum in de.learnlib.logging
-
Categories for filter.
- CategoryFilter - Class in de.learnlib.logging.filter
-
Filters log messages based on categories.
- CategoryFilter(EnumSet<Category>) - Constructor for class de.learnlib.logging.filter.CategoryFilter
-
- cellContents(Row<I>, int) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
-
- cexHandler - Variable in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar
-
- checkQuery(Query<I, O>) - Method in class de.learnlib.oracles.SafeOracle
-
- CLASSIC_LSTAR - Static variable in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
-
- ClassicLStarMealy<I,O> - Class in de.learnlib.algorithms.lstargeneric.mealy
-
An implementation of the L*Mealy algorithm for inferring Mealy machines, as described
by Oliver Niese in his Ph.D. thesis.
- ClassicLStarMealy(Alphabet<I>, MembershipOracle<I, O>, List<Word<I>>, ObservationTableCEXHandler<? super I, ? super O>, ClosingStrategy<? super I, ? super O>) - Constructor for class de.learnlib.algorithms.lstargeneric.mealy.ClassicLStarMealy
-
Constructor.
- CLOSE_FIRST - Static variable in class de.learnlib.algorithms.lstargeneric.closing.ClosingStrategies
-
Closing strategy that selects the first row from each equivalence class as representative.
- CLOSE_LEX_MIN - Static variable in class de.learnlib.algorithms.lstargeneric.closing.ClosingStrategies
-
Closing strategy that selects the lexicographically minimal row (wrt. its prefix)
of each equivalence class as representative.
- CLOSE_RANDOM - Static variable in class de.learnlib.algorithms.lstargeneric.closing.ClosingStrategies
-
Closing strategy that randomly selects one representative row to close from each equivalence
class.
- CLOSE_SHORTEST - Static variable in class de.learnlib.algorithms.lstargeneric.closing.ClosingStrategies
-
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.
- CloseRandomStrategy - Class in de.learnlib.algorithms.lstargeneric.closing
-
- CloseRandomStrategy() - Constructor for class de.learnlib.algorithms.lstargeneric.closing.CloseRandomStrategy
-
- CloseRandomStrategy(Random) - Constructor for class de.learnlib.algorithms.lstargeneric.closing.CloseRandomStrategy
-
- ClosingStrategies - Class in de.learnlib.algorithms.lstargeneric.closing
-
Collection of predefined observation table closing strategies.
- ClosingStrategies() - Constructor for class de.learnlib.algorithms.lstargeneric.closing.ClosingStrategies
-
- ClosingStrategy<I,O> - Interface in de.learnlib.algorithms.lstargeneric.closing
-
A closing strategy, determining how to proceed when an observation table needs to be closed.
- closingStrategy - Variable in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar
-
- completeConsistentTable(List<List<Row<I>>>, boolean) - Method in class de.learnlib.algorithms.lstargeneric.AbstractLStar
-
Iteratedly checks for unclosedness and inconsistencies in the table,
and fixes any occurrences thereof.
- CompleteExplorationEQOracle<I,O> - Class in de.learnlib.eqtests.basic
-
Implements an equivalence check by complete exploration up to a given depth, i.e.,
by testing all possible sequences of a certain length within a specified range.
- CompleteExplorationEQOracle(MembershipOracle<I, O>, int) - Constructor for class de.learnlib.eqtests.basic.CompleteExplorationEQOracle
-
Constructor.
- CompleteExplorationEQOracle(MembershipOracle<I, O>, int, int) - Constructor for class de.learnlib.eqtests.basic.CompleteExplorationEQOracle
-
Constructor.
- constructMachine(A) - Static method in class de.learnlib.examples.dfa.ExampleAngluin
-
- constructMachine() - Static method in class de.learnlib.examples.dfa.ExampleAngluin
-
- constructMachine() - Static method in class de.learnlib.examples.dfa.ExamplePaulAndMary
-
Construct and return a machine representation of this example
- constructMachine(A) - Static method in class de.learnlib.examples.dfa.ExamplePaulAndMary
-
- constructMachine(A) - Static method in class de.learnlib.examples.mealy.ExampleCoffeeMachine
-
Construct and return a machine representation of this example
- constructMachine() - Static method in class de.learnlib.examples.mealy.ExampleCoffeeMachine
-
- constructMachine(A, int, int) - Static method in class de.learnlib.examples.mealy.ExampleGrid
-
Construct and return a machine representation of this example
- constructMachine(int, int) - Static method in class de.learnlib.examples.mealy.ExampleGrid
-
- constructMachine(A) - Static method in class de.learnlib.examples.mealy.ExampleShahbazGroz
-
Construct and return a machine representation of this example
- constructMachine() - Static method in class de.learnlib.examples.mealy.ExampleShahbazGroz
-
- constructMachine(A) - Static method in class de.learnlib.examples.mealy.ExampleStack
-
Construct and return a machine representation of this example
- constructMachine() - Static method in class de.learnlib.examples.mealy.ExampleStack
-
- Counter - Class in de.learnlib.statistics
-
simple counter.
- Counter(String, String) - Constructor for class de.learnlib.statistics.Counter
-
- CounterOracle<I,O> - Class in de.learnlib.oracles
-
Counts queries.
- CounterOracle(MembershipOracle<I, O>, String) - Constructor for class de.learnlib.oracles.CounterOracle
-
- CounterOracle.DFACounterOracle<I> - Class in de.learnlib.oracles
-
- CounterOracle.DFACounterOracle(MembershipOracle<I, Boolean>, String) - Constructor for class de.learnlib.oracles.CounterOracle.DFACounterOracle
-
- CounterOracle.MealyCounterOracle<I,O> - Class in de.learnlib.oracles
-
- CounterOracle.MealyCounterOracle(MembershipOracle<I, Word<O>>, String) - Constructor for class de.learnlib.oracles.CounterOracle.MealyCounterOracle
-
- create(EquivalenceOracle<A, I, O>) - Static method in class de.learnlib.eqtests.basic.SimpleEQOracle
-
- createCacheConsistencyTest() - Method in class de.learnlib.cache.dfa.DFACacheOracle
-
Creates an equivalence oracle that checks an hypothesis for consistency with the
contents of this cache.
- createCacheConsistencyTest() - Method in class de.learnlib.cache.mealy.MealyCacheOracle
-
Creates an equivalence oracle that checks an hypothesis for consistency with the
contents of this cache.
- createCacheConsistencyTest() - Method in class de.learnlib.cache.sul.SULCache
-
- createDFACache(Alphabet<I>, MembershipOracle<I, Boolean>) - Static method in class de.learnlib.cache.Caches
-
- createForSymbolOracle(Alphabet<I>, MembershipOracle<I, O>, List<Word<I>>, ObservationTableCEXHandler<I, O>, ClosingStrategy<? super I, ? super O>) - Static method in class de.learnlib.algorithms.lstargeneric.mealy.ClassicLStarMealy
-
- createForWordOracle(Alphabet<I>, MembershipOracle<I, Word<O>>, List<Word<I>>, ObservationTableCEXHandler<? super I, ? super O>, ClosingStrategy<? super I, ? super O>) - Static method in class de.learnlib.algorithms.lstargeneric.mealy.ClassicLStarMealy
-
- createLpRow(Word<I>) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
-
- createMealyCache(Alphabet<I>, MembershipOracle<I, Word<O>>) - Static method in class de.learnlib.cache.Caches
-
- createSpRow(Word<I>) - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
-
- createState(boolean, Row<I>) - Method in class de.learnlib.algorithms.lstargeneric.AbstractAutomatonLStar
-
- createSULCache(Alphabet<I>, SUL<I, O>) - Static method in class de.learnlib.cache.Caches
-
- fetchResults(Iterator<DefaultQuery<I, O>>, List<O>, int) - Static method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
-
Fetches the given number of query responses and adds them to the specified output list.
- Filter<I,O> - Interface in de.learnlib.api
-
A filter is an oracle that can be used as the middle
element in a chain of oracles.
- FilterChain<I,O> - Class in de.learnlib.oracles
-
A chain of oracles.
- FilterChain(MembershipOracle<I, O>, Filter<I, O>...) - Constructor for class de.learnlib.oracles.FilterChain
-
- FIND_LINEAR - Static variable in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
-
- FIND_LINEAR - Static variable in class de.learnlib.counterexamples.GlobalSuffixFinders
-
Adds the single suffix found by the access sequence transformation
in ascending linear order.
- FIND_LINEAR - Static variable in class de.learnlib.counterexamples.LocalSuffixFinders
-
Searches for a distinguishing suffixes by checking for counterexample yielding
access sequence transformations in linear ascending order.
- FIND_LINEAR_ALLSUFFIXES - Static variable in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
-
- FIND_LINEAR_ALLSUFFIXES - Static variable in class de.learnlib.counterexamples.GlobalSuffixFinders
-
Adds the suffix found by the access sequence transformation
in ascending linear order, and all of its suffixes.
- FIND_LINEAR_REVERSE - Static variable in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
-
- FIND_LINEAR_REVERSE - Static variable in class de.learnlib.counterexamples.GlobalSuffixFinders
-
Adds the single suffix found by the access sequence transformation
in descending linear order.
- FIND_LINEAR_REVERSE - Static variable in class de.learnlib.counterexamples.LocalSuffixFinders
-
Searches for a distinguishing suffixes by checking for counterexample yielding
access sequence transformations in linear descending order.
- FIND_LINEAR_REVERSE_ALLSUFFIXES - Static variable in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
-
- FIND_LINEAR_REVERSE_ALLSUFFIXES - Static variable in class de.learnlib.counterexamples.GlobalSuffixFinders
-
Adds the suffix found by the access sequence transformation
in descending linear order, and all of its suffixes.
- findCounterExample(A, Collection<? extends I>) - Method in interface de.learnlib.api.EquivalenceOracle
-
Searches for a counterexample disproving the subjected hypothesis.
- findCounterExample(DFA<?, I>, Collection<? extends I>) - Method in class de.learnlib.cache.dfa.DFACacheConsistencyTest
-
- findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.cache.mealy.MealyCacheConsistencyTest
-
- findCounterExample(DetOutputAutomaton<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.CompleteExplorationEQOracle
-
- findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.DelegateEQOracle
-
- findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.EQOracleChain
-
- findCounterExample(MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.mealy.RandomWalkEQOracle
-
- findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.mealy.SymbolEQOracleWrapper
-
- findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.RandomWordsEQOracle
-
- findCounterExample(A) - Method in class de.learnlib.eqtests.basic.SimpleEQOracle
-
- findCounterExample(UniversalDeterministicAutomaton<?, I, ?, ?, ?>, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.SimulatorEQOracle
-
- findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.WMethodEQOracle
-
- findCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.eqtests.basic.WpMethodEQOracle
-
- findInconsistency() - Method in class de.learnlib.algorithms.lstargeneric.table.ObservationTable
-
- findLinear(Query<I, O>, AccessSequenceTransformer<I>, SuffixOutput<I, O>, MembershipOracle<I, O>, boolean) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders
-
Returns the suffix (plus all of its suffixes, if allSuffixes is true) found by
the access sequence transformation in ascending linear order.
- findLinear(Query<I, O>, AccessSequenceTransformer<I>, SuffixOutput<I, O>, MembershipOracle<I, O>) - Static method in class de.learnlib.counterexamples.LocalSuffixFinders
-
Searches for a distinguishing suffixes by checking for counterexample yielding
access sequence transformations in linear ascending order.
- findLinearReverse(Query<I, O>, AccessSequenceTransformer<I>, SuffixOutput<I, O>, MembershipOracle<I, O>, boolean) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders
-
Returns the suffix (plus all of its suffixes, if allSuffixes is true) found by
the access sequence transformation in descending linear order.
- findLinearReverse(Query<I, O>, AccessSequenceTransformer<I>, SuffixOutput<I, O>, MembershipOracle<I, O>) - Static method in class de.learnlib.counterexamples.LocalSuffixFinders
-
Searches for a distinguishing suffixes by checking for counterexample yielding
access sequence transformations in linear descending order.
- findMahlerPnueli(Query<I, O>) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders
-
Returns all suffixes of the counterexample word as distinguishing suffixes, as suggested
by Mahler & Pnueli.
- findMismatch(Word<O>, Word<O>) - Static method in class de.learnlib.mealy.MealyUtil
-
- findRivestSchapire(Query<I, O>, AccessSequenceTransformer<I>, SuffixOutput<I, O>, MembershipOracle<I, O>, boolean) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders
-
Returns the suffix (plus all of its suffixes, if allSuffixes is true) found by
the binary search access sequence transformation.
- findRivestSchapire(Query<I, O>, AccessSequenceTransformer<I>, SuffixOutput<I, O>, MembershipOracle<I, O>) - Static method in class de.learnlib.counterexamples.LocalSuffixFinders
-
Searches for a distinguishing suffixes by checking for counterexample yielding
access sequence transformations using a binary search, as proposed by Rivest & Schapire.
- findShahbaz(Query<I, O>, AccessSequenceTransformer<I>) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders
-
Returns all suffixes of the counterexample word as distinguishing suffixes, after
stripping a maximal one-letter extension of an access sequence, as suggested by
Shahbaz.
- findSuffixes(Query<RI, RO>, AccessSequenceTransformer<RI>, SuffixOutput<RI, RO>, MembershipOracle<RI, RO>) - Method in interface de.learnlib.counterexamples.GlobalSuffixFinder
-
Finds a set of distinguishing suffixes which will allow to expose at least one additional
state in the hypothesis.
- findSuffixIndex(Query<RI, RO>, AccessSequenceTransformer<RI>, SuffixOutput<RI, RO>, MembershipOracle<RI, RO>) - Method in interface de.learnlib.counterexamples.LocalSuffixFinder
-
Finds, for a given counterexample, a "split index", such that:
- the part of the query word before this index leads to the state being split
- the part of the query word from this index on is a suffix capable of splitting
this state.
- format(LogRecord) - Method in class de.learnlib.logging.LLConsoleFormatter
-
- fromGlobalSuffixFinder(GlobalSuffixFinder<I, O>) - Static method in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
-
- fromLocalFinder(LocalSuffixFinder<I, O>, boolean) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders
-
- fromLocalFinder(LocalSuffixFinder<I, O>) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders
-
- fromLocalSuffixFinder(LocalSuffixFinder<I, O>, boolean) - Static method in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
-
- fromLocalSuffixFinder(LocalSuffixFinder<I, O>) - Static method in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
-
- SafeOracle<I,O> - Class in de.learnlib.oracles
-
- SafeOracle(MembershipOracle<I, O>) - Constructor for class de.learnlib.oracles.SafeOracle
-
- selectClosingRows(List<List<Row<I>>>) - Method in class de.learnlib.algorithms.lstargeneric.AbstractLStar
-
This method selects a set of rows to use for closing the table.
- selectClosingRows(List<List<Row<RI>>>, ObservationTable<RI, RO>, MembershipOracle<RI, RO>) - Method in class de.learnlib.algorithms.lstargeneric.closing.CloseRandomStrategy
-
- selectClosingRows(List<List<Row<RI>>>, ObservationTable<RI, RO>, MembershipOracle<RI, RO>) - Method in interface de.learnlib.algorithms.lstargeneric.closing.ClosingStrategy
-
Given a list of row equivalence classes, this method selects for each of the classes
one (representative) row which is being closed.
- selectClosingRows(List<List<Row<I>>>) - Method in class de.learnlib.algorithms.lstargeneric.ExtensibleAutomatonLStar
-
- setGlobalFilter(Filter) - Static method in class de.learnlib.logging.LearnLogger
-
apply a filter to all handlers of the root logger.
- setLogModels(boolean) - Method in class de.learnlib.experiments.Experiment
-
- setNext(MembershipOracle<I, O>) - Method in interface de.learnlib.api.Filter
-
sets oracle for processing membership queries.
- setNext(MembershipOracle<I, O>) - Method in class de.learnlib.oracles.CounterOracle
-
- setNext(MembershipOracle<I, O>) - Method in class de.learnlib.oracles.HistogramOracle
-
set used oracle.
- setProfile(boolean) - Method in class de.learnlib.experiments.Experiment
-
- setRowContentId(int) - Method in class de.learnlib.algorithms.lstargeneric.table.Row
-
Sets the ID of the row contents.
- setSuccessor(int, Row<I>) - Method in class de.learnlib.algorithms.lstargeneric.table.Row
-
Sets the successor row for this short prefix row and the given alphabet symbol
(by index).
- setTransition(S, I, S, Row<I>, int, Row<I>) - Method in class de.learnlib.algorithms.lstargeneric.AbstractAutomatonLStar
-
- SHAHBAZ - Static variable in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
-
- SHAHBAZ - Static variable in class de.learnlib.counterexamples.GlobalSuffixFinders
-
Adds all suffixes of the remainder of the input word, after stripping a maximal
one-letter extension of an access sequence
- shortenCounterExample(MealyMachine<?, I, ?, O>, DefaultQuery<I, Word<O>>) - Static method in class de.learnlib.mealy.MealyUtil
-
- SimpleEQOracle<A extends InputAlphabetHolder<I>,I,O> - Class in de.learnlib.eqtests.basic
-
- SimpleEQOracle(EquivalenceOracle<A, I, O>) - Constructor for class de.learnlib.eqtests.basic.SimpleEQOracle
-
- SimplePOJOTestDriver - Class in de.learnlib.drivers.reflect
-
Simple test driver for plain java objects.
- SimplePOJOTestDriver(Constructor, Object...) - Constructor for class de.learnlib.drivers.reflect.SimplePOJOTestDriver
-
- SimpleProfiler - Class in de.learnlib.statistics
-
Very rudimentary profiler.
- SimpleProfiler() - Constructor for class de.learnlib.statistics.SimpleProfiler
-
- simulator(A) - Static method in class de.learnlib.eqtests.basic.EquivalenceQueries
-
- SimulatorEQOracle<I,O> - Class in de.learnlib.eqtests.basic
-
- SimulatorEQOracle(R) - Constructor for class de.learnlib.eqtests.basic.SimulatorEQOracle
-
- SimulatorOracle<I,O> - Class in de.learnlib.oracles
-
A membership oracle backed by an automaton.
- SimulatorOracle(SuffixOutput<I, O>) - Constructor for class de.learnlib.oracles.SimulatorOracle
-
Constructor.
- SimulatorOracle.DFASimulatorOracle<I> - Class in de.learnlib.oracles
-
- SimulatorOracle.DFASimulatorOracle(DFA<?, I>) - Constructor for class de.learnlib.oracles.SimulatorOracle.DFASimulatorOracle
-
- SimulatorOracle.MealySimulatorOracle<I,O> - Class in de.learnlib.oracles
-
- SimulatorOracle.MealySimulatorOracle(MealyMachine<?, I, ?, O>) - Constructor for class de.learnlib.oracles.SimulatorOracle.MealySimulatorOracle
-
- start() - Method in class de.learnlib.parallelism.ParallelOracle
-
Starts all worker threads.
- start(String) - Static method in class de.learnlib.statistics.SimpleProfiler
-
start activity.
- startLearning() - Method in class de.learnlib.algorithms.baselinelstar.BaselineLStar
-
- startLearning() - Method in class de.learnlib.algorithms.dhc.mealy.MealyDHC
-
- startLearning() - Method in class de.learnlib.algorithms.lstargeneric.AbstractLStar
-
- startLearning() - Method in interface de.learnlib.api.LearningAlgorithm
-
Starts the model inference process, creating an initial hypothesis in the provided
model object.
- stateInfos - Variable in class de.learnlib.algorithms.lstargeneric.AbstractAutomatonLStar
-
- stateProperty(Row<I>) - Method in class de.learnlib.algorithms.lstargeneric.AbstractAutomatonLStar
-
Derives a state property from the corresponding row.
- stateProperty(Row<I>) - Method in class de.learnlib.algorithms.lstargeneric.dfa.ExtensibleLStarDFA
-
- stateProperty(Row<I>) - Method in class de.learnlib.algorithms.lstargeneric.mealy.ClassicLStarMealy
-
- stateProperty(Row<I>) - Method in class de.learnlib.algorithms.lstargeneric.mealy.ExtensibleLStarMealy
-
- StatisticData - Class in de.learnlib.statistics
-
Common interface for statistical data.
- StatisticData(String, String) - Constructor for class de.learnlib.statistics.StatisticData
-
- StatisticLogRecord - Class in de.learnlib.logging
-
- StatisticLogRecord(Level, StatisticData, Category) - Constructor for class de.learnlib.logging.StatisticLogRecord
-
- StatisticOracle<I,O> - Interface in de.learnlib.statistics
-
Common interface for oracles keeping statistics.
- StatisticSUL<I,O> - Interface in de.learnlib.statistics
-
- step(I) - Method in interface de.learnlib.api.SUL
-
make one step on the SUL.
- step(I) - Method in class de.learnlib.cache.sul.SULCache
-
- step(AI) - Method in class de.learnlib.drivers.api.TestDriver
-
- step(I) - Method in class de.learnlib.oracles.ResetCounterSUL
-
- step(I) - Method in class de.learnlib.oracles.SymbolCounterSUL
-
- stop() - Method in class de.learnlib.parallelism.ParallelOracle
-
Stop all worker threads.
- stop(String) - Static method in class de.learnlib.statistics.SimpleProfiler
-
stop activity.
- suffix - Variable in class de.learnlib.oracles.AbstractQuery
-
- SUFFIX1BY1 - Static variable in class de.learnlib.algorithms.lstargeneric.ce.ObservationTableCEXHandlers
-
- suffixesForLocalOutput(Query<I, O>, int) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders
-
Transforms a suffix index returned by a
LocalSuffixFinder
into a list containing
the single distinguishing suffix.
- suffixesForLocalOutput(Query<I, O>, int, boolean) - Static method in class de.learnlib.counterexamples.GlobalSuffixFinders
-
Transforms a suffix index returned by a
LocalSuffixFinder
into a list of distinguishing
suffixes.
- SUL<I,O> - Interface in de.learnlib.api
-
Interface for a system under learning (SUL) that can make single steps.
- SULCache<I,O> - Class in de.learnlib.cache.sul
-
- SULCache(Alphabet<I>, SUL<I, O>) - Constructor for class de.learnlib.cache.sul.SULCache
-
- SULException - Exception in de.learnlib.drivers.api
-
Thrown by executable inputs on SUL errors.
- SULException(Throwable) - Constructor for exception de.learnlib.drivers.api.SULException
-
- SULOracle<I,O> - Class in de.learnlib.oracles
-
A wrapper around a system under learning (SUL).
- SULOracle(SUL<I, O>) - Constructor for class de.learnlib.oracles.SULOracle
-
- SupportsGrowingAlphabet<I> - Interface in de.learnlib.api
-
- SymbolCounterSUL<I,O> - Class in de.learnlib.oracles
-
- SymbolCounterSUL(String, SUL<I, O>) - Constructor for class de.learnlib.oracles.SymbolCounterSUL
-
- SymbolEQOracleWrapper<A extends SODetOutputAutomaton<?,I,?,Word<O>>,I,O> - Class in de.learnlib.eqtests.basic.mealy
-
- SymbolEQOracleWrapper(EquivalenceOracle<? super A, I, Word<O>>) - Constructor for class de.learnlib.eqtests.basic.mealy.SymbolEQOracleWrapper
-
- SystemOnlyFilter - Class in de.learnlib.logging.filter
-
No learning related output.
- SystemOnlyFilter() - Constructor for class de.learnlib.logging.filter.SystemOnlyFilter
-