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

Constructor Summary

PBInstanceReader(IPBSolver solver)

Method Summary

String	decode(int[] model) Deprecated.
void	decode(int[] model, PrintWriter out) Produce a model using the reader format on a provided printwriter.
IProblem	parseInstance(Reader in)
IProblem	parseInstance(String filename)

Methods inherited from class org.sat4j.reader.Reader

isVerbose, parseInstance, setVerbosity

Methods inherited from class java.lang.Object

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

Constructor Detail

PBInstanceReader

public PBInstanceReader(IPBSolver solver)

Method Detail

parseInstance

public IProblem parseInstance(String filename)
                       throws FileNotFoundException,
                              ParseFormatException,
                              IOException,
                              ContradictionException

Overrides:

parseInstance in class InstanceReader

Throws:

FileNotFoundException

ParseFormatException

IOException

ContradictionException

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

parseInstance

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

Overrides:

parseInstance in class InstanceReader

Throws:

ParseFormatException

ContradictionException

IOException