I
- type variable for input symbol upper bound.O
- type variable for output symbol upper bound.public interface ClosingStrategy<I,O>
Modifier and Type | Method and Description |
---|---|
<RI extends I,RO extends O> |
selectClosingRows(List<List<Row<RI>>> unclosedClasses,
ObservationTable<RI,RO> table,
MembershipOracle<RI,RO> oracle)
Given a list of row equivalence classes, this method selects for each of the classes
one (representative) row which is being closed.
|
<RI extends I,RO extends O> List<Row<RI>> selectClosingRows(List<List<Row<RI>>> unclosedClasses, ObservationTable<RI,RO> table, MembershipOracle<RI,RO> oracle)
By contract, the size of the the returned list must equal the size of the
unclosedClasses argument.
unclosedClasses
- the list of row equivalence classestable
- the observation tableoracle
- the membership oracleCopyright © 2014. All Rights Reserved.