MinusVisitor

Object
- DepthFirstVisitor
- - MinusVisitor

All Implemented Interfaces:

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

Constructor Summary

Constructors
Constructor Description

MinusVisitor()

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)`	Possibly add the first invariant to the result set.
`void`	`visit(PptNode node)`	If the first ppt is non-null, it should be part of the result.

Methods inherited from class DepthFirstVisitor
visit

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

- Constructor Detail
  - MinusVisitor
```
public MinusVisitor()
```
- Method Detail
  - visit
```
public void visit(PptNode node)
```
    If the first ppt is non-null, it should be part of the result.
    
    Specified by:
    
    visit in interface Visitor
    
    Overrides:
    
    visit in class DepthFirstVisitor
  - visit
```
@RequiresNonNull("currentPpt")
public void visit(InvNode node)
```
    Possibly add the first 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.