org.sat4j.reader

Class CSPInstanceReader

java.lang.Object

org.sat4j.reader.Reader

org.sat4j.reader.InstanceReader

org.sat4j.reader.CSPInstanceReader

public class CSPInstanceReader
extends org.sat4j.reader.InstanceReader

An reader having the responsability to choose the right reader according to the input.

Author:

leberre

Constructor Summary

Constructors

Constructor and Description
CSPInstanceReader(org.sat4j.specs.ISolver solver, boolean allDiffCard)

Method Summary

Methods

Modifier and Type	Method and Description
String	decode(int[] model) Deprecated.
void	decode(int[] model, PrintWriter out)
org.sat4j.specs.IProblem	parseInstance(Reader in)
org.sat4j.specs.IProblem	parseInstance(String filename)

Methods inherited from class org.sat4j.reader.InstanceReader

handleFileName, parseInstance

Methods inherited from class org.sat4j.reader.Reader

isVerbose, setVerbosity

Methods inherited from class java.lang.Object

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

Constructor Detail

CSPInstanceReader

public CSPInstanceReader(org.sat4j.specs.ISolver solver,
                 boolean allDiffCard)

Method Detail

parseInstance

public org.sat4j.specs.IProblem parseInstance(String filename)
                                       throws org.sat4j.reader.ParseFormatException,
                                              IOException,
                                              org.sat4j.specs.ContradictionException

Overrides:

parseInstance in class org.sat4j.reader.InstanceReader

Throws:

org.sat4j.reader.ParseFormatException

IOException

org.sat4j.specs.ContradictionException

decode

@Deprecated
public String decode(int[] model)

Deprecated.

Overrides:

decode in class org.sat4j.reader.InstanceReader

decode

public void decode(int[] model,
          PrintWriter out)

Overrides:

decode in class org.sat4j.reader.InstanceReader

parseInstance

public org.sat4j.specs.IProblem parseInstance(Reader in)
                                       throws org.sat4j.reader.ParseFormatException,
                                              org.sat4j.specs.ContradictionException,
                                              IOException

Overrides:

parseInstance in class org.sat4j.reader.Reader

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

IOException