ClosingStrategy (LearnLib 0.17.0 API)

Type Parameters:

I - type variable for input symbol upper bound.

D - type variable for output symbol upper bound.

All Known Implementing Classes:

CloseRandomStrategy
```
public interface ClosingStrategy<I,D>
```
A closing strategy, determining how to proceed when an observation table needs to be closed.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`<RI extends I,RO extends D> List<Row<RI>>`	`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.

- Method Detail
  - selectClosingRows
```
<RI extends I,RO extends D> List<Row<RI>> 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. This corresponds to selecting one of several long prefixes (i.e., transitions reaching an unknown state) to be an access sequence.
    By contract, the size of the returned list must equal the size of the unclosedClasses argument.
    
    Parameters:
    
    unclosedClasses - the list of row equivalence classes
    
    table - the observation table
    
    oracle - the membership oracle
    
    Returns:
    
    a selection of representative rows to be closed.