PrintDifferingInvariantsVisitor

Object
- DepthFirstVisitor
- - PrintAllVisitor
  - - PrintDifferingInvariantsVisitor

All Implemented Interfaces:

Visitor

Direct Known Subclasses:

PrintNullDiffVisitor, XorInvariantsVisitor
```
public class PrintDifferingInvariantsVisitor
extends PrintAllVisitor
```
Prints the differing invariant pairs.

Field Summary

Fields
Modifier and Type Field Description

static Logger debug
Logger for debugging information.
- Fields inherited from class PrintAllVisitor
  HUMAN_OUTPUT, lineSep

Constructor Summary

Constructors
Constructor	Description
`PrintDifferingInvariantsVisitor(PrintStream ps, boolean verbose, boolean printEmptyPpts)`	Create an instance of PrintDifferingInvariantsVisitor.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`protected boolean`	`shouldPrint(@Nullable Invariant inv1, @Nullable Invariant inv2)`	Returns true if the pair of invariants should be printed, depending on their type, relationship, and printability.
`void`	`visit(InvNode node)`	Prints a pair of invariants.

Methods inherited from class PrintAllVisitor
bufPrint, bufPrintln, bufPrintln, printHumanOutput, printInvariant, visit

Methods inherited from class DepthFirstVisitor
visit

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

- Field Detail
  - debug
```
public static final Logger debug
```
    Logger for debugging information.
- Constructor Detail
  - PrintDifferingInvariantsVisitor
```
public PrintDifferingInvariantsVisitor(PrintStream ps,
                                       boolean verbose,
                                       boolean printEmptyPpts)
```
    Create an instance of PrintDifferingInvariantsVisitor.
- Method Detail
  - visit
```
public void visit(InvNode node)
```
    Description copied from class: PrintAllVisitor
    
    Prints a pair of invariants. Includes the type of the invariants and their relationship.
    
    Specified by:
    
    visit in interface Visitor
    
    Overrides:
    
    visit in class PrintAllVisitor
  - shouldPrint
```
protected boolean shouldPrint(@Nullable Invariant inv1,
                              @Nullable Invariant inv2)
```
    Returns true if the pair of invariants should be printed, depending on their type, relationship, and printability.