MultiDiffVisitor

Object
- DepthFirstVisitor
- - PrintAllVisitor
  - - PrintDifferingInvariantsVisitor
    - - PrintNullDiffVisitor
      - MultiDiffVisitor

All Implemented Interfaces:

Visitor
```
public class MultiDiffVisitor
extends PrintNullDiffVisitor
```
MultiDiffVisitor is a state-storing NodeVisitor that works across multiple files regardless of the current two-file infrastructure. This allows the selection of very unique invariants that occur once over an entire set of trace files.

Field Summary

Fields
Modifier and Type Field Description

protected PptMap currMap
- Fields inherited from class PrintDifferingInvariantsVisitor
  debug
- Fields inherited from class PrintAllVisitor
  HUMAN_OUTPUT, lineSep

Constructor Summary

Constructors
Constructor Description

MultiDiffVisitor(PptMap firstMap)

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`printAll()`	Prints everything in the goodList.
`void`	`printAllSpinfo()`	Prints everything in the goodList, outputs as spinfo.
`static void`	`setForSpinfoOut(OutputStream out_os)`
`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.
`void`	`visit(RootNode node)`

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

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

- Field Detail
  - currMap
```
protected PptMap currMap
```
- Constructor Detail
  - MultiDiffVisitor
```
public MultiDiffVisitor(PptMap firstMap)
```
- Method Detail
  - setForSpinfoOut
```
public static void setForSpinfoOut(OutputStream out_os)
```
  - visit
```
public void visit(RootNode node)
```
    Specified by:
    
    visit in interface Visitor
    
    Overrides:
    
    visit in class DepthFirstVisitor
  - 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 PrintNullDiffVisitor
  - printAll
```
public void printAll()
```
    Prints everything in the goodList.
  - printAllSpinfo
```
public void printAllSpinfo()
```
    Prints everything in the goodList, outputs as spinfo.
  - shouldPrint
```
protected boolean shouldPrint(@Nullable Invariant inv1,
                              @Nullable Invariant inv2)
```
    Description copied from class: PrintDifferingInvariantsVisitor
    
    Returns true if the pair of invariants should be printed, depending on their type, relationship, and printability.
    
    Overrides:
    
    shouldPrint in class PrintDifferingInvariantsVisitor