org.sat4j.reader
Class XMLCSPReader
java.lang.Object
org.sat4j.reader.Reader
org.sat4j.reader.XMLCSPReader
public class XMLCSPReader
- extends Reader
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
XMLCSPReader
public XMLCSPReader(ISolver solver)
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
- Overrides:
parseInstance
in class Reader
- Throws:
ParseFormatException
ContradictionException
IOException
parseInstance
public IProblem parseInstance(InputStream 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 © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.