public class LoopFinder extends Object
LoopFinder(ControlFlowSynthesizer synth)
void
run()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public LoopFinder(ControlFlowSynthesizer synth)
public void run()
This implementation uses the algorithm of Cooper, Harvey and Kennedy (2001) for the dominance relation.
see also the complete user documentation .