PptNode

Object
- Node<@Nullable PptTopLevel,InvNode>
- - PptNode

```
public class PptNode
extends Node<@Nullable PptTopLevel,InvNode>
```
Contains a pair of Ppts. Resides in the second level of the tree. All its children are InvNodes.

- Constructor Summary
  
  Constructors
  Constructor Description
  
  PptNode(@Nullable PptTopLevel ppt1, @Nullable PptTopLevel ppt2)
  Either ppt1 or ppt2 may be null, but not both.
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  void accept(Visitor v)
  
  @Nullable PptTopLevel getPpt1()
  
  @Nullable PptTopLevel getPpt2()
  - 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
- PptNode
```
public PptNode(@Nullable PptTopLevel ppt1,
               @Nullable PptTopLevel ppt2)
```
  Either ppt1 or ppt2 may be null, but not both.
  
  Parameters:
  
  ppt1 - a program point
  
  ppt2 - a program point

Method Detail

getPpt1

@Pure
public @Nullable PptTopLevel getPpt1()

getPpt2

@Pure
public @Nullable PptTopLevel getPpt2()

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

accept in class Node<@Nullable PptTopLevel,InvNode>