de.learnlib.algorithms.lstar.closing

Class CloseRandomStrategy

java.lang.Object

de.learnlib.algorithms.lstar.closing.CloseRandomStrategy

All Implemented Interfaces:

ClosingStrategy<Object,Object>

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

Constructor Summary

Constructors

Constructor and Description
CloseRandomStrategy()
CloseRandomStrategy(Random random)

Method Summary

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()

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 the returned list must equal the size of the unclosedClasses argument.

Specified by:

selectClosingRows in interface ClosingStrategy<Object,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