Commit 3e3067c7 authored by Adam Blank's avatar Adam Blank
Browse files

Update WorkList.java

parent 03b6f696
......@@ -50,7 +50,7 @@ public abstract class WorkList<E> implements Iterable<E> {
* Returns and removes the next element of the worklist
*
* @precondition hasWork() is true
* @postcondition return(next()) + after(next()) == before(next())
* @postcondition return(next()) ++ after(next()) == before(next())
* @postcondition after(size()) + 1 == before(size())
* @throws NoSuchElementException
* if hasWork() is false
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment