Class polya.Incremental
All Packages Class Hierarchy This Package Previous Next Index
Class polya.Incremental
java.lang.Object
|
+----polya.Polylist
|
+----polya.Incremental
- public class Incremental
- extends Polylist
-
Incremental(Growable)
-
-
ensureGrown()
-
-
first()
- first() returns the first element of a non-empty Polylist.
-
getList()
-
-
grown()
-
-
isEmpty()
- isEmpty() tells whether the Polylist is empty.
-
nonEmpty()
- nonEmpty() tells whether the Polylist is non-empty.
-
rest()
- rest() returns the rest of a non-empty Polylist.
-
toString()
- toString() converts Polylist to string, e.g.
Incremental
public Incremental(Growable growable)
first
public Object first()
- first() returns the first element of a non-empty Polylist.
- Overrides:
- first in class Polylist
rest
public Polylist rest()
- rest() returns the rest of a non-empty Polylist.
- Overrides:
- rest in class Polylist
isEmpty
public boolean isEmpty()
- isEmpty() tells whether the Polylist is empty.
- Overrides:
- isEmpty in class Polylist
nonEmpty
public boolean nonEmpty()
- nonEmpty() tells whether the Polylist is non-empty.
- Overrides:
- nonEmpty in class Polylist
toString
public String toString()
- toString() converts Polylist to string, e.g.
- Overrides:
- toString in class Polylist
ensureGrown
public void ensureGrown()
grown
public boolean grown()
getList
public Polylist getList()
All Packages Class Hierarchy This Package Previous Next Index