npublic Pile (int number)
n Create a Pile with the specified number of sticks.
n require:number >=0
n ensure:this.size() == number
n
npublic Pile ()
n Create an empty Pile.
n ensure:this.size() == 0
n
npublic
int size
()
n Number of sticks in this Pile
n ensure:this.size() >= 0
n