de.learnlib.algorithms.lstargeneric.ce

Interface ObservationTableCEXHandler<I,O>

public interface ObservationTableCEXHandler<I,O>

Method Summary

Methods

Modifier and Type	Method and Description
<RI extends I,RO extends O> List<List<Row<RI>>>	handleCounterexample(DefaultQuery<RI,RO> ceQuery, ObservationTable<RI,RO> table, net.automatalib.automata.concepts.SuffixOutput<RI,RO> hypOutput, MembershipOracle<RI,RO> oracle)
boolean	needsConsistencyCheck()

Method Detail

handleCounterexample

<RI extends I,RO extends O> List<List<Row<RI>>> handleCounterexample(DefaultQuery<RI,RO> ceQuery,
                                                                   ObservationTable<RI,RO> table,
                                                                   net.automatalib.automata.concepts.SuffixOutput<RI,RO> hypOutput,
                                                                   MembershipOracle<RI,RO> oracle)

needsConsistencyCheck

boolean needsConsistencyCheck()