de.learnlib.logging.filter

Class ExperimentalDataFilter

java.lang.Object

de.learnlib.logging.filter.CategoryFilter

de.learnlib.logging.filter.ExperimentalDataFilter

All Implemented Interfaces:

Filter

public class ExperimentalDataFilter
extends CategoryFilter

only some categories. SYSTEM, CONFIG, MODEL, STATISTIC, PROFILING.

Author:

falkhowar

Constructor Summary

Constructors

Constructor and Description
ExperimentalDataFilter()

Method Summary

Methods inherited from class de.learnlib.logging.filter.CategoryFilter

isLoggable

Methods inherited from class java.lang.Object

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

Constructor Detail

ExperimentalDataFilter

public ExperimentalDataFilter()