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,
net.automatalib.automata.concepts.SuffixOutput<RI,RD> hypOutput,
MembershipOracle<RI,RD> oracle) |
static <I,D> List<List<Row<I>>> |
ObservationTableCEXHandlers.handleGlobalSuffixes(MutableObservationTable<I,D> table,
List<? extends net.automatalib.words.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) |