polya
Class Incremental

java.lang.Object
  |
  +--polya.Polylist
        |
        +--polya.Incremental

public class Incremental

extends Polylist

Fields inherited from class polya.Polylist

nil

Constructor Summary

Incremental(Growable growable)

Method Summary

void	ensureGrown()
java.lang.Object	first() first() returns the first element of a non-empty Polylist.
Polylist	getList()
boolean	grown()
boolean	isEmpty() isEmpty() tells whether the Polylist is empty.
boolean	nonEmpty() nonEmpty() tells whether the Polylist is non-empty.
Polylist	rest() rest() returns the rest of a non-empty Polylist.
java.lang.String	toString() toString() converts Polylist to string, e.g.

Methods inherited from class polya.Polylist

analysis, append, array, cons, cons, cons, coprefix, elements, equals, equals, explode, fifth, first, fourth, implode, length, list, list, list, list, list, list, list, list, list, list, list, list, list, list, list, list, list, main, map, member, nth, PolylistFromArray, PolylistFromEnum, prefix, range, range, reduce, rest, reverse, second, setFirst, sixth, third

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Incremental

public Incremental(Growable growable)

Method Detail

first

public java.lang.Object first()

Description copied from class: Polylist

first() returns the first element of a non-empty Polylist.

Overrides:

first in class Polylist

Tags copied from class: Polylist

Throws:

NullPointerException - Can't take first of an empty Polylist.

rest

public Polylist rest()

Description copied from class: Polylist

rest() returns the rest of a non-empty Polylist.

Overrides:

rest in class Polylist

Tags copied from class: Polylist

Throws:

NullPointerException - Can't take rest of an empty Polylist.

isEmpty

public boolean isEmpty()

Description copied from class: Polylist

isEmpty() tells whether the Polylist is empty.

Overrides:

isEmpty in class Polylist

nonEmpty

public boolean nonEmpty()

Description copied from class: Polylist

nonEmpty() tells whether the Polylist is non-empty.

Overrides:

nonEmpty in class Polylist

toString

public java.lang.String toString()

Description copied from class: Polylist

toString() converts Polylist to string, e.g. for printing

Overrides:

toString in class Polylist

ensureGrown

public void ensureGrown()

grown

public boolean grown()

getList

public Polylist getList()