Package org.jacop.jasat.utils

Class CnfParser

java.lang.Object

org.jacop.jasat.utils.CnfParser

All Implemented Interfaces:

Iterable<IntVec>, Iterator<IntVec>

public final class CnfParser
extends Object
implements Iterable<IntVec>, Iterator<IntVec>

CNF file format (low-level) parser.

Version:

4.10

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	CnfParser.ParseException	exception occurring during parse

Field Summary

Fields

Modifier and Type	Field	Description
private int	c
private boolean	hasGivenIterator
private IntVec	nextClause
int	numClauses
int	numVars
private MemoryPool	pool
private InputStream	stream

Constructor Summary

Constructors

Constructor	Description
CnfParser(MemoryPool pool, InputStream stream)	creates an instance of the parser for some input stream

Method Summary

Modifier and Type	Method	Description
boolean	hasNext()
Iterator<IntVec>	iterator()	to be called only once!
IntVec	next()
private int	parseInt()	reads an int from the stream
private void	parseNextClause()	parses the next clause from the stream
private void	readProblemDef()	reads number of clauses and number of vars
void	remove()
private void	skipComments()	skips comment lines from the current position
private void	skipLine()	skip the rest of the line (\n included)
private void	skipSpaces()	skips white spaces and carriage returns

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface java.util.Iterator

forEachRemaining

Field Details

numClauses

public int numClauses

numVars

public int numVars

stream

private InputStream stream

pool

private MemoryPool pool

c

private int c

nextClause

private IntVec nextClause

hasGivenIterator

private boolean hasGivenIterator

Constructor Details

CnfParser

public CnfParser(MemoryPool pool,
 InputStream stream)
          throws CnfParser.ParseException

creates an instance of the parser for some input stream

Parameters:

pool - the memory pool to use

stream - the stream from which to read clauses

Throws:

CnfParser.ParseException - excpetion when parsing fails

Method Details

parseInt

private int parseInt()
              throws IOException

reads an int from the stream

Returns:

the parsed int

Throws:

IOException

skipComments

private void skipComments()
                   throws IOException

skips comment lines from the current position

Throws:

IOException

skipLine

private void skipLine()
               throws IOException

skip the rest of the line (\n included)

Throws:

IOException

skipSpaces

private void skipSpaces()
                 throws IOException

skips white spaces and carriage returns

Throws:

IOException

readProblemDef

private void readProblemDef()
                     throws IOException

reads number of clauses and number of vars

Throws:

IOException

parseNextClause

private void parseNextClause()

parses the next clause from the stream

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<IntVec>

next

public IntVec next()

Specified by:

next in interface Iterator<IntVec>

remove

public void remove()

Specified by:

remove in interface Iterator<IntVec>

iterator

public Iterator<IntVec> iterator()

to be called only once!

Specified by:

iterator in interface Iterable<IntVec>