Package daikon.inv.filter

Class Summary

DerivedParameterFilter	Filter for not printing an Invariant if its VarInfos return isDerivedParameterAndUninteresting == true.
DerivedVariableFilter	A filter that filters out invariants that contain derived variables of a specified derivation.
InvariantFilter
InvariantFilters
ObviousFilter
OnlyConstantVariablesFilter
ParentFilter	Filter for not printing invariants that have a matching invariant at their parent PPT.
SimplifyFilter
UnjustifiedFilter
UnmodifiedVariableEqualityFilter	Suppress invariants that merely indicate that a variable was unmodified.
VariableFilter