UnionVisitor

Object
- DepthFirstVisitor
- - UnionVisitor

All Implemented Interfaces:

Visitor
```
public class UnionVisitor
extends DepthFirstVisitor
```
Computes A union B, where A and B are the two sets of invariants.

Constructor Summary

Constructors
Constructor Description

UnionVisitor()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`InvMap`	`getResult()`
`void`	`visit(InvNode node)`	If only one invariant is non-null, always add it.
`void`	`visit(PptNode node)`	Every node has at least one non-null ppt.

Methods inherited from class DepthFirstVisitor
visit

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

- Constructor Detail
  - UnionVisitor
```
public UnionVisitor()
```
- Method Detail
  - getResult
```
public InvMap getResult()
```
  - visit
```
public void visit(PptNode node)
```
    Every node has at least one non-null ppt. Add one of the non-null ppt to the result.
    
    Specified by:
    
    visit in interface Visitor
    
    Overrides:
    
    visit in class DepthFirstVisitor
  - visit
```
@RequiresNonNull("currentPpt")
public void visit(InvNode node)
```
    If only one invariant is non-null, always add it. If two invariants are non-null, add the invariant with the better (higher) confidence.
    
    Specified by:
    
    visit in interface Visitor
    
    Overrides:
    
    visit in class DepthFirstVisitor