util

Class DimacsTokenizer

java.lang.Object

util.DimacsTokenizer

All Implemented Interfaces:

IntegerTokenizer

public class DimacsTokenizer
extends java.lang.Object
implements IntegerTokenizer

The integer tokenizer that reads a file in Dimacs format.

Constructor Summary

Constructors

Constructor and Description
DimacsTokenizer(java.io.BufferedReader reader) Builds a Dimacs tokenizer from the specified buffered reader.

Method Summary

Methods

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.

Methods inherited from class java.lang.Object

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

Constructor Detail

DimacsTokenizer

public DimacsTokenizer(java.io.BufferedReader reader)
                throws java.io.IOException

Builds a Dimacs tokenizer from the specified buffered reader.

Parameters:

reader - the buffered reader (assumes that the cartouche has been removed).

Throws:

java.io.IOException

Method Detail

isFinished

public boolean isFinished()

Description copied from interface: IntegerTokenizer

Indicates whether the end of the tokenizer is reached.

Specified by:

isFinished in interface IntegerTokenizer

Returns:

true if the last token is reached.

nextToken

public int nextToken()

Description copied from interface: IntegerTokenizer

Returns the next integer in the tokenizer.

Specified by:

nextToken in interface IntegerTokenizer

Returns:

the next integer.