daikon.inv.filter
Class OnlyConstantVariablesFilter

Object
  InvariantFilter
      OnlyConstantVariablesFilter

public class OnlyConstantVariablesFilter
extends InvariantFilter

Field Summary

static boolean

dkconfig_enabled Boolean.

Constructor Summary

OnlyConstantVariablesFilter()

Method Summary

String

getDescription()

Methods inherited from class InvariantFilter

getSetting, shouldDiscard, turnOff, turnOn

Methods inherited from class Object

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

Field Detail

dkconfig_enabled

public static boolean dkconfig_enabled

Boolean. If true, OnlyConstantVariablesFilter is initially turned on.

Constructor Detail

OnlyConstantVariablesFilter

public OnlyConstantVariablesFilter()

Method Detail

getDescription

public String getDescription()

Specified by:

getDescription in class InvariantFilter