org.sat4j.reader
Class XMLCSPReader

java.lang.Object
  org.sat4j.reader.Reader
      org.sat4j.reader.XMLCSPReader

public class XMLCSPReader
extends Reader

Constructor Summary

XMLCSPReader(ISolver solver)

Method Summary

java.lang.String	decode(int[] model)
void	decode(int[] model, java.io.PrintWriter out)
IProblem	parseInstance(java.io.Reader in)
IProblem	parseInstance(java.lang.String filename)
void	setVerbosity(boolean b)

Methods inherited from class org.sat4j.reader.Reader

isVerbose, parseInstance

Methods inherited from class java.lang.Object

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

Constructor Detail

XMLCSPReader

public XMLCSPReader(ISolver solver)

Method Detail

decode

public java.lang.String decode(int[] model)

Specified by:

decode in class Reader

decode

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

Specified by:

decode in class Reader

parseInstance

public IProblem parseInstance(java.lang.String filename)
                       throws java.io.FileNotFoundException,
                              ParseFormatException,
                              java.io.IOException,
                              ContradictionException

Overrides:

parseInstance in class Reader

Throws:

java.io.FileNotFoundException

ParseFormatException

java.io.IOException

ContradictionException

parseInstance

public IProblem parseInstance(java.io.Reader in)
                       throws ParseFormatException,
                              ContradictionException,
                              java.io.IOException

Specified by:

parseInstance in class Reader

Throws:

ParseFormatException

ContradictionException

java.io.IOException

setVerbosity

public void setVerbosity(boolean b)

Overrides:

setVerbosity in class Reader