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}