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

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

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

A template for fix-point using for loop.

Version:

"1.2.0"

Author:

yaniv sa'ar.

Constructor Summary

FixPoint()

FixPoint(T initial_old_value)

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()

FixPoint

public FixPoint(T initial_old_value)

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.