org.sat4j.reader
Class XMLCSPReader

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

public class XMLCSPReader
extends Reader


Constructor Summary
XMLCSPReader(ISolver solver)
           
 
Method Summary
 String decode(int[] model)
           
 void decode(int[] model, PrintWriter out)
           
 IProblem parseInstance(Reader in)
           
 IProblem parseInstance(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 String decode(int[] model)
Specified by:
decode in class Reader

decode

public void decode(int[] model,
                   PrintWriter out)
Specified by:
decode in class Reader

parseInstance

public IProblem parseInstance(String filename)
                       throws FileNotFoundException,
                              ParseFormatException,
                              IOException,
                              ContradictionException
Overrides:
parseInstance in class Reader
Throws:
FileNotFoundException
ParseFormatException
IOException
ContradictionException

parseInstance

public IProblem parseInstance(Reader in)
                       throws ParseFormatException,
                              ContradictionException,
                              IOException
Specified by:
parseInstance in class Reader
Throws:
ParseFormatException
ContradictionException
IOException

setVerbosity

public void setVerbosity(boolean b)
Overrides:
setVerbosity in class Reader


Copyright © 2010 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.