PBSugar version 1.1.1 Core API Specification

pbsugar.pb
Class PBParser

java.lang.Object
  extended by pbsugar.pb.PBParser

public class PBParser
extends Object


Field Summary
 int constraints
           
 int variables
           
 
Constructor Summary
PBParser(BufferedReader reader)
           
PBParser(String fileName)
           
 
Method Summary
 PBConstraint getNext()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

variables

public int variables

constraints

public int constraints
Constructor Detail

PBParser

public PBParser(BufferedReader reader)
         throws IOException
Throws:
IOException

PBParser

public PBParser(String fileName)
         throws UnsupportedEncodingException,
                IOException
Throws:
UnsupportedEncodingException
IOException
Method Detail

getNext

public PBConstraint getNext()
                     throws IOException
Throws:
IOException

PBSugar version 1.1.1 Core API Specification

PBSugar: SAT-based Pseudo Boolean Constraint Solver