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.3.2"

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.

NOTE that the fix-point is on the object's equality. If the Underlying current object is changed, then it might affect this iterator. (e.g. if you are using BDD.*With API, then you are changing the object himself)

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.