| Class | Description |
|---|---|
| ReachingDefinitionNode |
A ReachingDefinitionNode contains a CFG node, which can only be a AssignmentNode.
|
| ReachingDefinitionStore |
A reaching definition store contains a set of reaching definitions represented by
ReachingDefinitionNode
|
| ReachingDefinitionTransfer |
The reaching definition transfer function.
|