SCCCollapser

```
public class SCCCollapser
extends java.lang.Object
```
Collapses VarNodes (green) forming strongly-connected components in the pointer assignment graph.

Fields
Modifier and Type	Field and Description
`protected boolean`	`ignoreTypes`
`protected int`	`numCollapsed`
`protected PAG`	`pag`
`protected TypeManager`	`typeManager`
`protected java.util.HashSet<VarNode>`	`visited`

Constructors
Constructor and Description
`SCCCollapser(PAG pag, boolean ignoreTypes)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`collapse()` Actually collapse the SCCs in the PAG.
`protected void`	`dfsVisit(VarNode v, VarNode rootOfSCC)`

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

protected java.util.HashSet<VarNode> visited

public SCCCollapser(PAG pag,
                    boolean ignoreTypes)

protected final void dfsVisit(VarNode v,
                              VarNode rootOfSCC)

Class SCCCollapser