org.sat4j.reader
Class ExtendedDimacsReader

java.lang.Object
  org.sat4j.reader.Reader
      org.sat4j.reader.DimacsReader
          org.sat4j.reader.ExtendedDimacsReader

All Implemented Interfaces:

java.io.Serializable

public class ExtendedDimacsReader
extends DimacsReader

Reader for the Extended Dimacs format proposed by Fahiem Bacchus and Toby Walsh.

Author:

leberre

See Also:

Serialized Form

Field Summary

static int	AND
static int	ATLEAST
static int	ATMOST
static int	COUNT
static int	FALSE
static int	IFF
static int	IFTHENELSE
static int	IMPLIES
static int	NAND
static int	NOR
static int	NOT
static int	OR
static int	TRUE
static int	XNOR
static int	XOR

Fields inherited from class org.sat4j.reader.DimacsReader

expectedNbOfConstr, formatString, solver

Constructor Summary

ExtendedDimacsReader(ISolver solver)

Method Summary

protected boolean	handleConstr(java.lang.String line, IVecInt literals)
protected void	readProblemLine(java.io.LineNumberReader in)

Methods inherited from class org.sat4j.reader.DimacsReader

decode, decode, disableNumberOfConstraintCheck, getSolver, parseInstance, readConstrs, skipComments

Methods inherited from class org.sat4j.reader.Reader

isVerbose, parseInstance, parseInstance, setVerbosity

Methods inherited from class java.lang.Object

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

Field Detail

FALSE

public static final int FALSE

See Also:

Constant Field Values

TRUE

public static final int TRUE

See Also:

Constant Field Values

NOT

public static final int NOT

See Also:

Constant Field Values

AND

public static final int AND

See Also:

Constant Field Values

NAND

public static final int NAND

See Also:

Constant Field Values

OR

public static final int OR

See Also:

Constant Field Values

NOR

public static final int NOR

See Also:

Constant Field Values

XOR

public static final int XOR

See Also:

Constant Field Values

XNOR

public static final int XNOR

See Also:

Constant Field Values

IMPLIES

public static final int IMPLIES

See Also:

Constant Field Values

IFF

public static final int IFF

See Also:

Constant Field Values

IFTHENELSE

public static final int IFTHENELSE

See Also:

Constant Field Values

ATLEAST

public static final int ATLEAST

See Also:

Constant Field Values

ATMOST

public static final int ATMOST

See Also:

Constant Field Values

COUNT

public static final int COUNT

See Also:

Constant Field Values

Constructor Detail

ExtendedDimacsReader

public ExtendedDimacsReader(ISolver solver)

Method Detail

readProblemLine

protected void readProblemLine(java.io.LineNumberReader in)
                        throws java.io.IOException,
                               ParseFormatException

Overrides:

readProblemLine in class DimacsReader

Parameters:

in - the input stream

Throws:

java.io.IOException - iff an IO occurs

ParseFormatException - if the input stream does not comply with the DIMACS format.

handleConstr

protected boolean handleConstr(java.lang.String line,
                               IVecInt literals)
                        throws ContradictionException

Overrides:

handleConstr in class DimacsReader

Throws:

ContradictionException