public class ReachingDefinitionsAnalyzer
extends Object
implements DataFlowAnalyzer<Set<WriteInstruction>>

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Set<WriteInstruction>`	`fun(Set<WriteInstruction> input, ProgramState s)`	input parameter can be changed
`AnalysisDirection`	`getDirection()`
`Set<WriteInstruction>`	`initial(Program p)`
`Set<WriteInstruction>`	`merge(Program p, List<Set<WriteInstruction>> input)`

Constructor Detail
- ReachingDefinitionsAnalyzer
```
public ReachingDefinitionsAnalyzer()
```

public Set<WriteInstruction> merge(Program p,
                                   List<Set<WriteInstruction>> input)

Specified by:: merge in interface DataFlowAnalyzer<Set<WriteInstruction>>

public Set<WriteInstruction> fun(Set<WriteInstruction> input,
                                 ProgramState s)

Description copied from interface: DataFlowAnalyzer

input parameter can be changed

Class ReachingDefinitionsAnalyzer