PptTopLevel.SimplifyInclusionTester

Enclosing class:

PptTopLevel
```
public static interface PptTopLevel.SimplifyInclusionTester
```
Interface used by mark_implied_via_simplify to determine what invariants should be considered during the logical redundancy tests.

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  boolean include(Invariant inv)

- Method Detail
  - include
```
boolean include(Invariant inv)
```