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

EfficientScanner(java.io.InputStream input)

Method Summary

void	close()
char	currentChar()
boolean	eof()
java.lang.String	next()
java.math.BigInteger	nextBigInteger()
int	nextInt()
java.lang.String	nextLine()
void	skipComments() on passe les commentaires et on lit le nombre de literaux
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)

Method Detail

close

public void close()
           throws java.io.IOException

Throws:

java.io.IOException

skipComments

public void skipComments()
                  throws java.io.IOException

on passe les commentaires et on lit le nombre de literaux

Throws:

java.io.IOException

nextInt

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

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:

java.io.IOException

ParseFormatException

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