PBSugar version 1.1.1 Core API Specification

pbsugar
Class PBSugar

java.lang.Object
  extended by pbsugar.PBSugar

public class PBSugar
extends Object


Field Summary
 int debug
           
 PBEncoder encoder
           
 String mapFileName
           
 boolean miniSat
           
 String outFileName
           
 String pbFileName
           
 String satFileName
           
 String satSolverName
           
 SortedSet<String> varsSet
           
static int verboseLevel
           
 boolean verify
           
 
Constructor Summary
PBSugar()
           
 
Method Summary
 Set<String> decode()
           
 int encode()
           
static void fine(String message)
           
static void info(String message)
           
static void main(String[] args)
           
 void saveMap(int variables)
           
 Set<String> solve(int variables)
           
static void status()
           
 void verify(Set<String> pbSolution)
           
 void verifyPbOutput(String pbFileName, String pbOutFileName)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

verboseLevel

public static int verboseLevel

pbFileName

public String pbFileName

varsSet

public SortedSet<String> varsSet

encoder

public PBEncoder encoder

satSolverName

public String satSolverName

miniSat

public boolean miniSat

satFileName

public String satFileName

mapFileName

public String mapFileName

outFileName

public String outFileName

verify

public boolean verify

debug

public int debug
Constructor Detail

PBSugar

public PBSugar()
Method Detail

info

public static void info(String message)

fine

public static void fine(String message)

status

public static void status()

encode

public int encode()
           throws IOException
Throws:
IOException

saveMap

public void saveMap(int variables)
             throws IOException
Throws:
IOException

solve

public Set<String> solve(int variables)
                  throws IOException,
                         InterruptedException
Throws:
IOException
InterruptedException

decode

public Set<String> decode()
                   throws IOException
Throws:
IOException

verify

public void verify(Set<String> pbSolution)
            throws IOException
Throws:
IOException

verifyPbOutput

public void verifyPbOutput(String pbFileName,
                           String pbOutFileName)
                    throws IOException
Throws:
IOException

main

public static void main(String[] args)

PBSugar version 1.1.1 Core API Specification

PBSugar: SAT-based Pseudo Boolean Constraint Solver