CloseRandomStrategy (LearnLib 0.17.0 API)

java.lang.Object
- de.learnlib.algorithm.lstar.closing.CloseRandomStrategy

All Implemented Interfaces:: ClosingStrategy<@Nullable Object,@Nullable Object>

public class CloseRandomStrategy
extends Object
implements ClosingStrategy<@Nullable Object,@Nullable Object>

Constructor Summary

Constructors
Constructor Description

CloseRandomStrategy()

CloseRandomStrategy(Random random)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	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()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - CloseRandomStrategy
```
public CloseRandomStrategy()
```
  - CloseRandomStrategy
```
public CloseRandomStrategy(Random random)
```
- Method Detail
  - selectClosingRows
```
public <RI,RD> List<Row<RI>> selectClosingRows(List<List<Row<RI>>> unclosedClasses,
                                                     ObservationTable<RI,RD> table,
                                                     MembershipOracle<RI,RD> oracle)
```
    Description copied from interface: ClosingStrategy
    
    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.
    
    Specified by:
    
    selectClosingRows in interface ClosingStrategy<@Nullable Object,@Nullable Object>
    
    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.
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object