Uses of Interface
de.learnlib.datastructure.observationtable.MutableObservationTable
-
Packages that use MutableObservationTable Package Description de.learnlib.algorithm.lstar.ce de.learnlib.datastructure.observationtable -
-
Uses of MutableObservationTable in de.learnlib.algorithm.lstar.ce
Methods in de.learnlib.algorithm.lstar.ce with parameters of type MutableObservationTable Modifier and Type Method Description static <I,D>
List<List<Row<I>>>ObservationTableCEXHandlers. handleClassicLStar(DefaultQuery<I,D> ceQuery, MutableObservationTable<I,D> table, MembershipOracle<I,D> oracle)
<RI extends I,RD extends D>
List<List<Row<RI>>>ObservationTableCEXHandler. handleCounterexample(DefaultQuery<RI,RD> ceQuery, MutableObservationTable<RI,RD> table, SuffixOutput<RI,RD> hypOutput, MembershipOracle<RI,RD> oracle)
static <I,D>
List<List<Row<I>>>ObservationTableCEXHandlers. handleGlobalSuffixes(MutableObservationTable<I,D> table, List<? extends Word<I>> suffixes, MembershipOracle<I,D> oracle)
static <I,D>
List<List<Row<I>>>ObservationTableCEXHandlers. handleLocalSuffix(Query<I,D> ceQuery, MutableObservationTable<I,D> table, int suffixIndex, boolean allSuffixes, MembershipOracle<I,D> oracle)
static <I,D>
List<List<Row<I>>>ObservationTableCEXHandlers. handleLocalSuffix(Query<I,D> ceQuery, MutableObservationTable<I,D> table, int suffixIndex, MembershipOracle<I,D> oracle)
static <I,D>
List<List<Row<I>>>ObservationTableCEXHandlers. handleSuffix1by1(DefaultQuery<I,D> ceQuery, MutableObservationTable<I,D> table, MembershipOracle<I,D> oracle)
-
Uses of MutableObservationTable in de.learnlib.datastructure.observationtable
Classes in de.learnlib.datastructure.observationtable that implement MutableObservationTable Modifier and Type Class Description class
GenericObservationTable<I,D>
Observation table class.
-