ClosingStrategies (LearnLib 0.17.0 API)

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

```
public final class ClosingStrategies
extends Object
```
Collection of predefined observation table closing strategies.

See Also:

ClosingStrategy

Field Summary

Fields
Modifier and Type	Field	Description
`static ClosingStrategy<@Nullable Object,@Nullable Object>`	`CLOSE_FIRST`	Closing strategy that selects the first row from each equivalence class as representative.
`static ClosingStrategy<@Nullable Object,@Nullable Object>`	`CLOSE_LEX_MIN`	Closing strategy that selects the lexicographically minimal row (wrt. its prefix) of each equivalence class as representative.
`static ClosingStrategy<@Nullable Object,@Nullable Object>`	`CLOSE_RANDOM`	Closing strategy that randomly selects one representative row to close from each equivalence class.
`static ClosingStrategy<@Nullable Object,@Nullable 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

All Methods Static Methods Concrete Methods
Modifier and Type Method Description

static ClosingStrategy<@Nullable Object,@Nullable 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<@Nullable Object,@Nullable Object> CLOSE_RANDOM
```
    Closing strategy that randomly selects one representative row to close from each equivalence class.
  - CLOSE_FIRST
```
public static final ClosingStrategy<@Nullable Object,@Nullable Object> CLOSE_FIRST
```
    Closing strategy that selects the first row from each equivalence class as representative.
  - CLOSE_SHORTEST
```
public static final ClosingStrategy<@Nullable Object,@Nullable 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<@Nullable Object,@Nullable 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<@Nullable Object,@Nullable Object>[] values()
```