001package daikon.inv.filter;
002
003import daikon.Daikon;
004import daikon.inv.Invariant;
005
006public class SimplifyFilter extends InvariantFilter {
007  static String description = "Eliminate invariants based on Simplify (slow)";
008
009  @Override
010  public String getDescription() {
011    return description;
012  }
013
014  /** Boolean. If true, SimplifyFilter is initially turned on. */
015  public static boolean dkconfig_enabled = true;
016
017  public SimplifyFilter() {
018    isOn = dkconfig_enabled;
019  }
020
021  @Override
022  boolean shouldDiscardInvariant(Invariant invariant) {
023    if (Daikon.suppress_redundant_invariants_with_simplify
024        && invariant.ppt.parent.redundant_invs.contains(invariant)) {
025      return true;
026    }
027    return false;
028  }
029}