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 org.sat4j.reader.InstanceReader

An reader having the responsibility to choose the right reader according to the input.

Author:

leberre

Constructor Summary

PBInstanceReader(IPBSolver solver)

Method Summary

java.lang.String	decode(int[] model) Deprecated.
void	decode(int[] model, java.io.PrintWriter out)
org.sat4j.specs.IProblem	parseInstance(java.io.Reader in)
org.sat4j.specs.IProblem	parseInstance(java.lang.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 org.sat4j.specs.IProblem parseInstance(java.lang.String filename)
                                       throws java.io.FileNotFoundException,
                                              org.sat4j.reader.ParseFormatException,
                                              java.io.IOException,
                                              org.sat4j.specs.ContradictionException

Overrides:

parseInstance in class org.sat4j.reader.InstanceReader

Throws:

java.io.FileNotFoundException

org.sat4j.reader.ParseFormatException

java.io.IOException

org.sat4j.specs.ContradictionException

decode

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

Deprecated.

Overrides:

decode in class org.sat4j.reader.InstanceReader

decode

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

Overrides:

decode in class org.sat4j.reader.InstanceReader

parseInstance

public org.sat4j.specs.IProblem parseInstance(java.io.Reader in)
                                       throws org.sat4j.reader.ParseFormatException,
                                              org.sat4j.specs.ContradictionException,
                                              java.io.IOException

Overrides:

parseInstance in class org.sat4j.reader.InstanceReader

Throws:

org.sat4j.reader.ParseFormatException

org.sat4j.specs.ContradictionException

java.io.IOException