org.sat4j.reader

Class XMLCSPReader

java.lang.Object

org.sat4j.reader.Reader

org.sat4j.reader.XMLCSPReader

public class XMLCSPReader
extends org.sat4j.reader.Reader

Constructor Summary

Constructors

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

Method Summary

Methods

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

Methods inherited from class org.sat4j.reader.Reader

isVerbose

Methods inherited from class java.lang.Object

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

Constructor Detail

XMLCSPReader

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

Method Detail

decode

public String decode(int[] model)

Specified by:

decode in class org.sat4j.reader.Reader

decode

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

Specified by:

decode in class org.sat4j.reader.Reader

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

Throws:

org.sat4j.reader.ParseFormatException

IOException

org.sat4j.specs.ContradictionException

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

parseInstance

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

Specified by:

parseInstance in class org.sat4j.reader.Reader

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

IOException

setVerbosity

public void setVerbosity(boolean b)

Overrides:

setVerbosity in class org.sat4j.reader.Reader