org.sat4j.pb.reader
Class PBInstanceReader
java.lang.Object
org.sat4j.reader.Reader
org.sat4j.reader.InstanceReader
org.sat4j.pb.reader.PBInstanceReader
public class PBInstanceReader
- extends InstanceReader
An reader having the responsibility to choose the right reader according to
the input.
- Author:
- leberre
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PBInstanceReader
public PBInstanceReader(IPBSolver solver)
parseInstance
public IProblem parseInstance(String filename)
throws FileNotFoundException,
ParseFormatException,
IOException,
ContradictionException
- Description copied from class:
Reader
- This is the usual method to feed a solver with a benchmark.
- Overrides:
parseInstance
in class InstanceReader
- Parameters:
filename
- the fully qualified name of the benchmark. The filename
extension may by used to detect which type of benchmarks it is
(SAT, OPB, MAXSAT, etc).
- Returns:
- the problem to solve (an ISolver in fact).
- Throws:
FileNotFoundException
- if the file cannot be found.
ParseFormatException
- if an error occurs during parsing.
IOException
- if an I/O error occurs.
ContradictionException
- if the problem is found trivially inconsistent.
decode
@Deprecated
public String decode(int[] model)
- Deprecated.
- Description copied from class:
Reader
- Produce a model using the reader format.
- Overrides:
decode
in class InstanceReader
- Parameters:
model
- a model using the Dimacs format.
- Returns:
- a human readable view of the model.
decode
public void decode(int[] model,
PrintWriter out)
- Description copied from class:
Reader
- Produce a model using the reader format on a provided printwriter.
- Overrides:
decode
in class InstanceReader
- Parameters:
model
- a model using the Dimacs format.out
- the place where to display the model
Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.