de.learnlib.algorithms.lstar.closing

Class ClosingStrategies

java.lang.Object

de.learnlib.algorithms.lstar.closing.ClosingStrategies

public final class ClosingStrategies
extends Object

Collection of predefined observation table closing strategies.

Author:

Malte Isberner

See Also:

ClosingStrategy

Field Summary

Fields

Modifier and Type	Field and Description
static ClosingStrategy<Object,Object>	CLOSE_FIRST Closing strategy that selects the first row from each equivalence class as representative.
static ClosingStrategy<Object,Object>	CLOSE_LEX_MIN Closing strategy that selects the lexicographically minimal row (wrt. its prefix) of each equivalence class as representative.
static ClosingStrategy<Object,Object>	CLOSE_RANDOM Closing strategy that randomly selects one representative row to close from each equivalence class.
static ClosingStrategy<Object,Object>	CLOSE_SHORTEST Closing strategy that selects the shortest row of each equivalence class (more precisely: a row which's prefix has minimal length in the respective class) as representative.

Method Summary

Modifier and Type	Method and Description
static ClosingStrategy<Object,Object>[]	values()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

CLOSE_RANDOM

public static final ClosingStrategy<Object,Object> CLOSE_RANDOM

Closing strategy that randomly selects one representative row to close from each equivalence class.

CLOSE_FIRST

public static final ClosingStrategy<Object,Object> CLOSE_FIRST

Closing strategy that selects the first row from each equivalence class as representative.

CLOSE_SHORTEST

public static final ClosingStrategy<Object,Object> CLOSE_SHORTEST

Closing strategy that selects the shortest row of each equivalence class (more precisely: a row which's prefix has minimal length in the respective class) as representative.

CLOSE_LEX_MIN

public static final ClosingStrategy<Object,Object> CLOSE_LEX_MIN

Closing strategy that selects the lexicographically minimal row (wrt. its prefix) of each equivalence class as representative.

Method Detail

values

public static ClosingStrategy<Object,Object>[] values()