public class CloseRandomStrategy extends Object implements ClosingStrategy<Object,Object>
Constructor and Description |
---|
CloseRandomStrategy() |
CloseRandomStrategy(Random random) |
Modifier and Type | Method and Description |
---|---|
<RI,RD> List<Row<RI>> |
selectClosingRows(List<List<Row<RI>>> unclosedClasses,
ObservationTable<RI,RD> table,
MembershipOracle<RI,RD> oracle)
Given a list of row equivalence classes, this method selects for each of the classes
one (representative) row which is being closed.
|
String |
toString() |
public CloseRandomStrategy()
public CloseRandomStrategy(Random random)
public <RI,RD> List<Row<RI>> selectClosingRows(List<List<Row<RI>>> unclosedClasses, ObservationTable<RI,RD> table, MembershipOracle<RI,RD> oracle)
ClosingStrategy
By contract, the size of the the returned list must equal the size of the
unclosedClasses
argument.
selectClosingRows
in interface ClosingStrategy<Object,Object>
unclosedClasses
- the list of row equivalence classestable
- the observation tableoracle
- the membership oracleCopyright © 2015. All rights reserved.