Package de.learnlib.algorithm.adt.config

Class ADTExtenders

java.lang.Object

de.learnlib.algorithm.adt.config.ADTExtenders

public final class ADTExtenders
extends Object

A collection of default ADTExtender configurations.

Field Summary

Fields

Modifier and Type	Field	Description
static ADTExtender	EXTEND_BEST_EFFORT
static ADTExtender	NOP

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

NOP

public static final ADTExtender NOP

EXTEND_BEST_EFFORT

public static final ADTExtender EXTEND_BEST_EFFORT