edu.wis.jtlv.lib
Class FixPoint<T>

java.lang.Object
  extended by edu.wis.jtlv.lib.FixPoint<T>

public class FixPoint<T>
extends java.lang.Object

A template for fix-point using for loop.

Version:
"1.1.0"
Author:
yaniv sa'ar.

Constructor Summary
FixPoint()
           
 
Method Summary
 boolean advance(T curr)
          given the element to fix-point on, determine whether it has changed since the last time a check was performed.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FixPoint

public FixPoint()
Method Detail

advance

public boolean advance(T curr)
given the element to fix-point on, determine whether it has changed since the last time a check was performed. If it had changed, then another iteration is allowed.

Parameters:
curr - The current value of the element to perform fix-point upon.
Returns:
true, if the element has changed since the last time, otherwise false.