PBSugar version 1.1.1 Core API Specification

pbsugar.sat
Class SatFile

java.lang.Object
  extended by pbsugar.sat.SatFile

public class SatFile
extends Object


Field Summary
 int clausesCount
           
static int SAT_BUFFER_SIZE
           
 int variablesCount
           
 
Constructor Summary
SatFile(String satFileName)
           
 
Method Summary
 void close()
           
 void flush()
           
 String getHeader(int variablesCount, int clausesCount)
           
 int newVar()
           
 int newVar(int size)
           
 void open()
           
 void updateHeader()
           
 void write(byte[] b)
           
 void write(String s)
           
 void writeClause(int[] clause)
           
 void writeComment(String comment)
           
 void writeComment(String[] msg)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

SAT_BUFFER_SIZE

public static int SAT_BUFFER_SIZE

variablesCount

public int variablesCount

clausesCount

public int clausesCount
Constructor Detail

SatFile

public SatFile(String satFileName)
Method Detail

open

public void open()
          throws IOException
Throws:
IOException

flush

public void flush()
           throws IOException
Throws:
IOException

newVar

public int newVar(int size)

newVar

public int newVar()

write

public void write(byte[] b)
           throws IOException
Throws:
IOException

write

public void write(String s)
           throws IOException
Throws:
IOException

getHeader

public String getHeader(int variablesCount,
                        int clausesCount)

updateHeader

public void updateHeader()
                  throws IOException
Throws:
IOException

close

public void close()
           throws IOException
Throws:
IOException

writeComment

public void writeComment(String comment)
                  throws IOException
Throws:
IOException

writeComment

public void writeComment(String[] msg)
                  throws IOException
Throws:
IOException

writeClause

public void writeClause(int[] clause)
                 throws IOException
Throws:
IOException

PBSugar version 1.1.1 Core API Specification

PBSugar: SAT-based Pseudo Boolean Constraint Solver