Package de.learnlib.algorithm.lstar.ce

Interface ObservationTableCEXHandler<I,D>

public interface ObservationTableCEXHandler<I,D>

Method Summary

Modifier and Type	Method	Description
<RI extends I,RD extends D> List<List<Row<RI>>>	handleCounterexample(DefaultQuery<RI,RD> ceQuery, MutableObservationTable<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,
                                                                           MutableObservationTable<RI,RD> table,
                                                                           SuffixOutput<RI,RD> hypOutput,
                                                                           MembershipOracle<RI,RD> oracle)

needsConsistencyCheck

boolean needsConsistencyCheck()