InvNode

Object
- Node<@Nullable Invariant,@NonNull Void>
- - InvNode

```
public class InvNode
extends Node<@Nullable Invariant,@NonNull Void>
```
Contains a pair of Invariants. Resides in the third level of the tree. Has no children.

- Constructor Summary
  
  Constructors
  Constructor Description
  
  InvNode(@Nullable Invariant inv1, @Nullable Invariant inv2)
  Either inv1 or inv2 may be null, but not both.
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  void accept(Visitor v)
  
  @Nullable Invariant getInv1()
  
  @Nullable Invariant getInv2()
  - Methods inherited from class Node
    add, children, getUserLeft, getUserObject, getUserRight
  - Methods inherited from class Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- InvNode
```
public InvNode(@Nullable Invariant inv1,
               @Nullable Invariant inv2)
```
  Either inv1 or inv2 may be null, but not both.
  
  Parameters:
  
  inv1 - an invariant
  
  inv2 - an invariant

Method Detail

getInv1

@Pure
public @Nullable Invariant getInv1()

getInv2

@Pure
public @Nullable Invariant getInv2()

accept
```
public void accept(Visitor v)
```
Specified by:

accept in class Node<@Nullable Invariant,@NonNull Void>