Uses of Class
de.learnlib.algorithms.lstargeneric.table.ObservationTable

Packages that use ObservationTable

Package	Description
de.learnlib.algorithms.lstargeneric
de.learnlib.algorithms.lstargeneric.ce
de.learnlib.algorithms.lstargeneric.closing

Uses of ObservationTable in de.learnlib.algorithms.lstargeneric

Fields in de.learnlib.algorithms.lstargeneric declared as ObservationTable

Modifier and Type	Field and Description
protected ObservationTable<I,O>	AbstractLStar.table

Uses of ObservationTable in de.learnlib.algorithms.lstargeneric.ce

Methods in de.learnlib.algorithms.lstargeneric.ce with parameters of type ObservationTable

Modifier and Type	Method and Description
static <I,O> List<List<Row<I>>>	ObservationTableCEXHandlers.handleClassicLStar(DefaultQuery<I,O> ceQuery, ObservationTable<I,O> table, MembershipOracle<I,O> oracle)
<RI extends I,RO extends O> List<List<Row<RI>>>	ObservationTableCEXHandler.handleCounterexample(DefaultQuery<RI,RO> ceQuery, ObservationTable<RI,RO> table, SuffixOutput<RI,RO> hypOutput, MembershipOracle<RI,RO> oracle)
static <I,O> List<List<Row<I>>>	ObservationTableCEXHandlers.handleGlobalSuffixes(ObservationTable<I,O> table, List<Word<I>> suffixes, MembershipOracle<I,O> oracle)
static <I,O> List<List<Row<I>>>	ObservationTableCEXHandlers.handleLocalSuffix(Query<I,O> ceQuery, ObservationTable<I,O> table, int suffixIndex, boolean allSuffixes, MembershipOracle<I,O> oracle)
static <I,O> List<List<Row<I>>>	ObservationTableCEXHandlers.handleLocalSuffix(Query<I,O> ceQuery, ObservationTable<I,O> table, int suffixIndex, MembershipOracle<I,O> oracle)
static <I,O> List<List<Row<I>>>	ObservationTableCEXHandlers.handleSuffix1by1(DefaultQuery<I,O> ceQuery, ObservationTable<I,O> table, MembershipOracle<I,O> oracle)

Uses of ObservationTable in de.learnlib.algorithms.lstargeneric.closing

Methods in de.learnlib.algorithms.lstargeneric.closing with parameters of type ObservationTable

Modifier and Type	Method and Description
<RI extends I,RO extends O> 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.
<RI,RO> List<Row<RI>>	CloseRandomStrategy.selectClosingRows(List<List<Row<RI>>> unclosedClasses, ObservationTable<RI,RO> table, MembershipOracle<RI,RO> oracle)