org.sat4j.reader

Class EfficientScanner

java.lang.Object

org.sat4j.reader.EfficientScanner

All Implemented Interfaces:

java.io.Serializable

public class EfficientScanner
extends java.lang.Object
implements java.io.Serializable

Efficient scanner based on the LecteurDimacs class written by Frederic Laihem. It is much faster than Java Scanner class because it does not split the input file into strings but reads and interpret the input char by char. Furthermore, it is based on stream (char in ASCII) and not reader (word in UTF).

Since:

2.1

Author:

laihem, leberre

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
EfficientScanner(java.io.InputStream input)
EfficientScanner(java.io.InputStream input, char commentChar)

Method Summary

Modifier and Type	Method and Description
void	close()
char	currentChar()
boolean	eof()
java.lang.String	next()
java.math.BigInteger	nextBigInteger()
int	nextInt() To get the next available integer.
java.lang.String	nextLine()
void	skipComments() Skip commented lines.
void	skipRestOfLine()
char	skipSpaces()

Methods inherited from class java.lang.Object

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

Constructor Detail

EfficientScanner

public EfficientScanner(java.io.InputStream input,
                        char commentChar)

EfficientScanner

public EfficientScanner(java.io.InputStream input)

Method Detail

close

public void close()
           throws java.io.IOException

Throws:

java.io.IOException

skipComments

public void skipComments()
                  throws java.io.IOException

Skip commented lines.

Throws:

java.io.IOException

nextInt

public int nextInt()
            throws java.io.IOException,
                   ParseFormatException

To get the next available integer.

Returns:

Throws:

java.io.IOException

ParseFormatException

nextBigInteger

public java.math.BigInteger nextBigInteger()
                                    throws java.io.IOException,
                                           ParseFormatException

Throws:

java.io.IOException

ParseFormatException

next

public java.lang.String next()
                      throws java.io.IOException,
                             ParseFormatException

Throws:

ParseFormatException - never used in that method.

java.io.IOException

skipSpaces

public char skipSpaces()
                throws java.io.IOException

Throws:

java.io.IOException

nextLine

public java.lang.String nextLine()
                          throws java.io.IOException

Throws:

java.io.IOException

skipRestOfLine

public void skipRestOfLine()
                    throws java.io.IOException

Throws:

java.io.IOException

eof

public boolean eof()
            throws java.io.IOException

Throws:

java.io.IOException

currentChar

public char currentChar()
                 throws java.io.IOException

Throws:

java.io.IOException