public interface ObservationTableCEXHandler<I,O>
Modifier and Type | Method and Description |
---|---|
<RI extends I,RO extends O> |
handleCounterexample(DefaultQuery<RI,RO> ceQuery,
ObservationTable<RI,RO> table,
SuffixOutput<RI,RO> hypOutput,
MembershipOracle<RI,RO> oracle) |
boolean |
needsConsistencyCheck() |
<RI extends I,RO extends O> List<List<Row<RI>>> handleCounterexample(DefaultQuery<RI,RO> ceQuery, ObservationTable<RI,RO> table, SuffixOutput<RI,RO> hypOutput, MembershipOracle<RI,RO> oracle)
boolean needsConsistencyCheck()
Copyright © 2014. All Rights Reserved.