de.learnlib.algorithms.lstar.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, MutableObservationTable<RI,RD> table, net.automatalib.automata.concepts.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,
                                                                     net.automatalib.automata.concepts.SuffixOutput<RI,RD> hypOutput,
                                                                     MembershipOracle<RI,RD> oracle)

needsConsistencyCheck

boolean needsConsistencyCheck()