InvariantFilter

Object
- InvariantFilter

Direct Known Subclasses:

DerivedParameterFilter, DerivedVariableFilter, DotNetStringFilter, ObviousFilter, OnlyConstantVariablesFilter, ParentFilter, ReadonlyPrestateFilter, SimplifyFilter, UnjustifiedFilter, UnmodifiedVariableEqualityFilter, VariableFilter
```
public abstract class InvariantFilter
extends Object
```

Constructor Summary

Constructors
Modifier Constructor Description

protected InvariantFilter()

protected InvariantFilter(boolean isOn)

Method Summary

All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method	Description
`abstract String`	`getDescription()`
`boolean`	`getSetting()`
`boolean`	`shouldDiscard(Invariant invariant)`
`void`	`turnOff()`
`void`	`turnOn()`

Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

InvariantFilter

protected InvariantFilter(boolean isOn)

InvariantFilter
```
protected InvariantFilter()
```

Method Detail

getDescription

public abstract String getDescription()

turnOn
```
public void turnOn()
```

turnOff
```
public void turnOff()
```

getSetting
```
public boolean getSetting()
```

shouldDiscard

public boolean shouldDiscard(Invariant invariant)