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

Constructor Summary

ExtendedDimacsReader(ISolver solver)

Method Summary

Methods inherited from class org.sat4j.reader.DimacsReader

decode, decode, disableNumberOfConstraintCheck, parseInstance

Methods inherited from class org.sat4j.reader.Reader

isVerbose, parseInstance, parseInstance, setVerbosity

Methods inherited from class java.lang.Object

equals, 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)