Package eu.bandm.tools.lljava.absy

Class VariableFinder.Equalizer

java.lang.Object

eu.bandm.tools.lljava.absy.VariableFinder.Equalizer

Enclosing class:

VariableFinder

class VariableFinder.Equalizer
extends Object

Constructor Summary

Constructors

Constructor	Description
Equalizer(ControlFlowAnalyzer.ControlFlow flow)

Method Summary

Modifier and Type	Method	Description
Collection<VariableFinder.Variable>	process(ControlFlowSynthesizer synth, VariableFinder.Snapshot initial)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Equalizer

Equalizer(ControlFlowAnalyzer.ControlFlow flow)

Method Details

process

public Collection<VariableFinder.Variable> process(ControlFlowSynthesizer synth,
 VariableFinder.Snapshot initial)