Package de.learnlib.algorithm.adt.config

Class SubtreeReplacers

java.lang.Object

de.learnlib.algorithm.adt.config.SubtreeReplacers

public final class SubtreeReplacers
extends Object

A collection of default SubtreeReplacer configurations.

Field Summary

Fields

Modifier and Type	Field	Description
static SubtreeReplacer	EXHAUSTIVE_BEST_EFFORT
static SubtreeReplacer	EXHAUSTIVE_MIN_LENGTH
static SubtreeReplacer	EXHAUSTIVE_MIN_SIZE
static SubtreeReplacer	LEVELED_BEST_EFFORT
static SubtreeReplacer	LEVELED_MIN_LENGTH
static SubtreeReplacer	LEVELED_MIN_SIZE
static SubtreeReplacer	NEVER_REPLACE
static SubtreeReplacer	SINGLE_BEST_EFFORT
static SubtreeReplacer	SINGLE_MIN_LENGTH
static SubtreeReplacer	SINGLE_MIN_SIZE

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

NEVER_REPLACE

public static final SubtreeReplacer NEVER_REPLACE

LEVELED_BEST_EFFORT

public static final SubtreeReplacer LEVELED_BEST_EFFORT

LEVELED_MIN_LENGTH

public static final SubtreeReplacer LEVELED_MIN_LENGTH

LEVELED_MIN_SIZE

public static final SubtreeReplacer LEVELED_MIN_SIZE

EXHAUSTIVE_BEST_EFFORT

public static final SubtreeReplacer EXHAUSTIVE_BEST_EFFORT

EXHAUSTIVE_MIN_LENGTH

public static final SubtreeReplacer EXHAUSTIVE_MIN_LENGTH

EXHAUSTIVE_MIN_SIZE

public static final SubtreeReplacer EXHAUSTIVE_MIN_SIZE

SINGLE_BEST_EFFORT

public static final SubtreeReplacer SINGLE_BEST_EFFORT

SINGLE_MIN_LENGTH

public static final SubtreeReplacer SINGLE_MIN_LENGTH

SINGLE_MIN_SIZE

public static final SubtreeReplacer SINGLE_MIN_SIZE