pbsugar.sat
Class SatFile
java.lang.Object
pbsugar.sat.SatFile
public class SatFile
- extends Object
SAT_BUFFER_SIZE
public static int SAT_BUFFER_SIZE
variablesCount
public int variablesCount
clausesCount
public int clausesCount
SatFile
public SatFile(String satFileName)
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: SAT-based Pseudo Boolean Constraint Solver