I- type variable for input symbol upper bound.
D- type variable for output symbol upper bound.
public interface ClosingStrategy<I,D>
|Modifier and Type||Method and Description|
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 D> 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- the list of row equivalence classes
table- the observation table
oracle- the membership oracle
Copyright © 2018. All rights reserved.