Uses of Interface
de.learnlib.datastructure.observationtable.ObservationTable
-
Packages that use ObservationTable Package Description de.learnlib.algorithm.lstar This package (and sub-packages) provides the implementation of the L* learning algorithm described in the paper Learning Regular Sets from Queries and Counterexamples by Dana Angluin as well as multiple variations thereof.de.learnlib.algorithm.lstar.closing de.learnlib.algorithm.lstar.dfa de.learnlib.algorithm.lstar.mealy de.learnlib.algorithm.lstar.moore de.learnlib.datastructure.observationtable de.learnlib.datastructure.observationtable.reader de.learnlib.datastructure.observationtable.writer -
-
Uses of ObservationTable in de.learnlib.algorithm.lstar
Methods in de.learnlib.algorithm.lstar that return ObservationTable Modifier and Type Method Description ObservationTable<I,D>
AbstractLStar. getObservationTable()
Methods in de.learnlib.algorithm.lstar with parameters of type ObservationTable Modifier and Type Method Description protected abstract SP
AbstractAutomatonLStar. stateProperty(ObservationTable<I,D> table, Row<I> stateRow)
Derives a state property from the corresponding row.protected abstract TP
AbstractAutomatonLStar. transitionProperty(ObservationTable<I,D> table, Row<I> stateRow, int inputIdx)
Derives a transition property from the corresponding transition. -
Uses of ObservationTable in de.learnlib.algorithm.lstar.closing
Methods in de.learnlib.algorithm.lstar.closing with parameters of type ObservationTable Modifier and Type Method Description <RI,RD>
List<Row<RI>>CloseRandomStrategy. selectClosingRows(List<List<Row<RI>>> unclosedClasses, ObservationTable<RI,RD> table, MembershipOracle<RI,RD> oracle)
<RI extends I,RO extends D>
List<Row<RI>>ClosingStrategy. selectClosingRows(List<List<Row<RI>>> unclosedClasses, ObservationTable<RI,RO> table, MembershipOracle<RI,RO> oracle)
Given a list of row equivalence classes, this method selects for each of the classes one (representative) row which is being closed. -
Uses of ObservationTable in de.learnlib.algorithm.lstar.dfa
Methods in de.learnlib.algorithm.lstar.dfa with parameters of type ObservationTable Modifier and Type Method Description protected Boolean
ExtensibleLStarDFA. stateProperty(ObservationTable<I,Boolean> table, Row<I> stateRow)
protected Void
ExtensibleLStarDFA. transitionProperty(ObservationTable<I,Boolean> table, Row<I> stateRow, int inputIdx)
-
Uses of ObservationTable in de.learnlib.algorithm.lstar.mealy
Methods in de.learnlib.algorithm.lstar.mealy with parameters of type ObservationTable Modifier and Type Method Description protected Void
ClassicLStarMealy. stateProperty(ObservationTable<I,O> table, Row<I> stateRow)
protected Void
ExtensibleLStarMealy. stateProperty(ObservationTable<I,Word<O>> table, Row<I> stateRow)
protected O
ClassicLStarMealy. transitionProperty(ObservationTable<I,O> table, Row<I> stateRow, int inputIdx)
protected O
ExtensibleLStarMealy. transitionProperty(ObservationTable<I,Word<O>> table, Row<I> stateRow, int inputIdx)
-
Uses of ObservationTable in de.learnlib.algorithm.lstar.moore
Methods in de.learnlib.algorithm.lstar.moore with parameters of type ObservationTable Modifier and Type Method Description protected O
ClassicLStarMoore. stateProperty(ObservationTable<I,O> table, Row<I> stateRow)
protected O
ExtensibleLStarMoore. stateProperty(ObservationTable<I,Word<O>> table, Row<I> stateRow)
protected Void
ClassicLStarMoore. transitionProperty(ObservationTable<I,O> table, Row<I> stateRow, int inputIdx)
protected Void
ExtensibleLStarMoore. transitionProperty(ObservationTable<I,Word<O>> table, Row<I> stateRow, int inputIdx)
-
Uses of ObservationTable in de.learnlib.datastructure.observationtable
Subinterfaces of ObservationTable in de.learnlib.datastructure.observationtable Modifier and Type Interface Description interface
MutableObservationTable<I,D>
Classes in de.learnlib.datastructure.observationtable that implement ObservationTable Modifier and Type Class Description class
GenericObservationTable<I,D>
Observation table class.Methods in de.learnlib.datastructure.observationtable that return ObservationTable Modifier and Type Method Description static <I,D>
ObservationTable<I,D>OTUtils. fromString(String source, Alphabet<I> alphabet, ObservationTableReader<I,D> reader)
ObservationTable<I,D>
ObservationTableFeature. getObservationTable()
Methods in de.learnlib.datastructure.observationtable with parameters of type ObservationTable Modifier and Type Method Description static <I,D>
voidOTUtils. displayHTMLInBrowser(ObservationTable<I,D> table)
Convenience method forOTUtils.displayHTMLInBrowser(ObservationTable, Function, Function)
that usesObject.toString()
to render words and outputs of the observation table.static <I,D>
voidOTUtils. displayHTMLInBrowser(ObservationTable<I,D> table, Function<? super Word<? extends I>,? extends String> wordToString, Function<? super D,? extends String> outputToString)
Displays the observation table as an HTML document in the default browser.static <I,D>
StringOTUtils. toString(ObservationTable<I,D> table, ObservationTableWriter<I,D> writer)
static <I,D>
voidOTUtils. writeHTMLToFile(ObservationTable<I,D> table, File file)
static <I,D>
voidOTUtils. writeHTMLToFile(ObservationTable<I,D> table, File file, Function<? super Word<? extends I>,? extends String> wordToString, Function<? super D,? extends String> outputToString)
-
Uses of ObservationTable in de.learnlib.datastructure.observationtable.reader
Classes in de.learnlib.datastructure.observationtable.reader that implement ObservationTable Modifier and Type Class Description class
SimpleObservationTable<I,D>
This class represents the data structure of anObservationTable
without providing any meaningful functionality.Methods in de.learnlib.datastructure.observationtable.reader that return ObservationTable Modifier and Type Method Description ObservationTable<I,D>
ObservationTableReader. read(String source, Alphabet<I> alphabet)
Reads the string representation of an observation table and returns an implementation ofObservationTable
which allows access to short and long prefixes as well as suffixes.ObservationTable<I,D>
SuffixASCIIReader. read(String source, Alphabet<I> alphabet)
-
Uses of ObservationTable in de.learnlib.datastructure.observationtable.writer
Methods in de.learnlib.datastructure.observationtable.writer with parameters of type ObservationTable Modifier and Type Method Description void
ObservationTableASCIIWriter. write(ObservationTable<? extends I,? extends D> table, Appendable out)
void
ObservationTableHTMLWriter. write(ObservationTable<? extends I,? extends D> table, Appendable out)
default void
ObservationTableWriter. write(ObservationTable<? extends I,? extends D> table, File file)
default void
ObservationTableWriter. write(ObservationTable<? extends I,? extends D> table, PrintStream out)
void
ObservationTableWriter. write(ObservationTable<? extends I,? extends D> table, Appendable out)
default void
ObservationTableWriter. write(ObservationTable<? extends I,? extends D> table, StringBuilder out)
void
SuffixASCIIWriter. write(ObservationTable<? extends I,? extends D> table, Appendable out)
-