public class DimacsTokenizer extends java.lang.Object implements IntegerTokenizer
| Constructor and Description |
|---|
DimacsTokenizer(java.io.BufferedReader reader)
Builds a Dimacs tokenizer from the specified buffered reader.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
isFinished()
Indicates whether the end of the tokenizer is reached.
|
int |
nextToken()
Returns the next integer in the tokenizer.
|
public DimacsTokenizer(java.io.BufferedReader reader)
throws java.io.IOException
reader - the buffered reader
(assumes that the cartouche has been removed).java.io.IOExceptionpublic boolean isFinished()
IntegerTokenizerisFinished in interface IntegerTokenizerpublic int nextToken()
IntegerTokenizernextToken in interface IntegerTokenizer