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.9

Author:

Simon Cruanes and Radoslaw Szymanek

Nested Class Summary

Nested Classes

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

Field Summary

Fields

Modifier and Type	Field and Description
int	numClauses
int	numVars

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
Iterator<IntVec>	iterator() to be called only once!
IntVec	next()
void	remove()

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 Detail

numClauses

public int numClauses

numVars

public int numVars

Constructor Detail

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 Detail

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>