|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.wis.jtlv.lib.FixPoint<T>
public class FixPoint<T>
A template for fix-point using for loop.
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 |
---|
public FixPoint()
Method Detail |
---|
public boolean advance(T curr)
curr
- The current value of the element to perform fix-point upon.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |