coins.backend.opt
Class LoopInversion

java.lang.Object
  coins.backend.opt.LoopInversion

public class LoopInversion

extends java.lang.Object

Convert while-do loops to repeat-until form.

Field Summary

static coins.backend.opt.LoopInversion.Trigger

trig Trigger class singleton.

Constructor Summary

LoopInversion()

Method Summary

void	doIt(Function f)

Methods inherited from class java.lang.Object

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

Field Detail

trig

public static final coins.backend.opt.LoopInversion.Trigger trig

Trigger class singleton.

Constructor Detail

LoopInversion

public LoopInversion()

Method Detail

doIt

public void doIt(Function f)