de.learnlib.algorithms.lstargeneric.ce

Interface ObservationTableCEXHandler<I,D>

public interface ObservationTableCEXHandler<I,D>

Method Summary

Modifier and Type	Method and Description
<RI extends I,RD extends D> List<List<Row<RI>>>	handleCounterexample(DefaultQuery<RI,RD> ceQuery, ObservationTable<RI,RD> table, SuffixOutput<RI,RD> hypOutput, MembershipOracle<RI,RD> oracle)
boolean	needsConsistencyCheck()

Method Detail

handleCounterexample

<RI extends I,RD extends D> List<List<Row<RI>>> handleCounterexample(DefaultQuery<RI,RD> ceQuery,
                                                                     ObservationTable<RI,RD> table,
                                                                     SuffixOutput<RI,RD> hypOutput,
                                                                     MembershipOracle<RI,RD> oracle)

needsConsistencyCheck

boolean needsConsistencyCheck()