XorVisitor

Object
- DepthFirstVisitor
- - XorVisitor

All Implemented Interfaces:

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

Field Summary

Fields
Modifier and Type Field Description

static Logger debug

Constructor Summary

Constructors
Constructor Description

XorVisitor()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`InvMap`	`getResult()`	Returns the InvMap generated as a result of the traversal.
`void`	`visit(InvNode node)`	If one invariant is null and the other is not, add the non-null invariant to the result set.
`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

- Field Detail
  - debug
```
public static final Logger debug
```
- Constructor Detail
  - XorVisitor
```
public XorVisitor()
```
- Method Detail
  - 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 one invariant is null and the other is not, add the non-null invariant to the result set.
    
    Specified by:
    
    visit in interface Visitor
    
    Overrides:
    
    visit in class DepthFirstVisitor
  - getResult
```
public InvMap getResult()
```
    Returns the InvMap generated as a result of the traversal.