public class InvariantFilters
extends Object

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`static List<Invariant>`	`addEqualityInvariants(List<Invariant> invariants)`	This function takes a list of invariants, finds the equality Comparison invariants (x==y, y==z), and deletes and replaces them with Equality invariants (x==y==z).
`void`	`addVariableFilter(String variable)`
`void`	`changeFilterSetting(String description, boolean turnOn)`
`boolean`	`containsVariableFilter(String variable)`
`static InvariantFilters`	`defaultFilters()`
`boolean`	`getFilterSetting(String description)`
`Iterator<InvariantFilter>`	`getPropertyFiltersIterator()`
`void`	`removeVariableFilter(String variable)`
`void`	`setVariableFilterType(int variableFilterType)`
`@Nullable InvariantFilter`	`shouldKeep(Invariant invariant)`
`@Nullable InvariantFilter`	`shouldKeepPropFilters(Invariant invariant)`
`@Nullable InvariantFilter`	`shouldKeepVarFilters(Invariant invariant)`
`void`	`turnFiltersOff()`
`void`	`turnFiltersOn()`

public static InvariantFilters defaultFilters()

public @Nullable InvariantFilter shouldKeepVarFilters(Invariant invariant)

public @Nullable InvariantFilter shouldKeepPropFilters(Invariant invariant)

public @Nullable InvariantFilter shouldKeep(Invariant invariant)

public Iterator<InvariantFilter> getPropertyFiltersIterator()

public boolean getFilterSetting(String description)

public void changeFilterSetting(String description,
                                boolean turnOn)

public void addVariableFilter(String variable)

public boolean containsVariableFilter(String variable)

public void removeVariableFilter(String variable)

public void setVariableFilterType(int variableFilterType)

addEqualityInvariants
```
public static List<Invariant> addEqualityInvariants(List<Invariant> invariants)
```
This function takes a list of invariants, finds the equality Comparison invariants (x==y, y==z), and deletes and replaces them with Equality invariants (x==y==z). The first variable in an Equality invariant is always the canonical variable of the group. The Equality invariants are inserted into the beginning. Equality invariants are useful when it comes to displaying invariants.

Class InvariantFilters