public class PBFileProblem extends PBProblem
Modifier and Type | Field and Description |
---|---|
static long |
MAX_PB_SIZE |
static int |
PB_BUFFER_SIZE |
constraintsCount, fileSize, variablesCount
Constructor and Description |
---|
PBFileProblem(java.lang.String pbFileName) |
Modifier and Type | Method and Description |
---|---|
void |
addComment(java.lang.String comment) |
void |
addMinExpr(PBExpr minExpr) |
void |
addPBConstraint(PBExpr expr) |
void |
addPMin(java.lang.String pmin) |
void |
cancel() |
void |
clear() |
void |
close() |
void |
commit() |
void |
done() |
void |
flush() |
void |
open() |
void |
update() |
void |
write(byte[] b) |
void |
write(java.lang.String s) |
addPB, addVariables, summary
public static int PB_BUFFER_SIZE
public static long MAX_PB_SIZE
public PBFileProblem(java.lang.String pbFileName) throws SugarException
SugarException
public void open() throws SugarException
SugarException
public void write(byte[] b) throws SugarException
SugarException
public void write(java.lang.String s) throws SugarException
SugarException
public void flush() throws SugarException
SugarException
public void close() throws SugarException
SugarException
public void update() throws SugarException
SugarException
public void clear() throws SugarException
clear
in class PBProblem
SugarException
public void commit() throws SugarException
commit
in class PBProblem
SugarException
public void cancel() throws SugarException
cancel
in class PBProblem
SugarException
public void done() throws SugarException
done
in class PBProblem
SugarException
public void addComment(java.lang.String comment) throws SugarException
addComment
in class PBProblem
SugarException
public void addPBConstraint(PBExpr expr) throws SugarException
addPBConstraint
in class PBProblem
SugarException
public void addMinExpr(PBExpr minExpr) throws SugarException
addMinExpr
in class PBProblem
SugarException
public void addPMin(java.lang.String pmin) throws SugarException
addPMin
in class PBProblem
SugarException