org.sat4j.pb.reader
Class PBInstanceReader

java.lang.Object
  extended by org.sat4j.reader.Reader
      extended by org.sat4j.reader.InstanceReader
          extended by 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)
           
 boolean hasObjectiveFunction()
           
 IProblem parseInstance(String filename)
           
 
Methods inherited from class org.sat4j.reader.InstanceReader
parseInstance
 
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

hasObjectiveFunction

public boolean hasObjectiveFunction()

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. 

Overrides:
decode in class InstanceReader

decode

public void decode(int[] model,
                   PrintWriter out)
Overrides:
decode in class InstanceReader


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