public abstract class PBProblem
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
int |
constraintsCount |
long |
fileSize |
int |
variablesCount |
Constructor and Description |
---|
PBProblem() |
Modifier and Type | Method and Description |
---|---|
void |
addComment(java.lang.String comment) |
abstract void |
addMinExpr(PBExpr minExpr) |
void |
addPB(PBExpr expr) |
abstract void |
addPBConstraint(PBExpr expr) |
abstract void |
addPMin(java.lang.String pmin) |
int |
addVariables(int number) |
void |
cancel() |
void |
clear() |
void |
commit() |
abstract void |
done() |
java.lang.String |
summary() |
public int variablesCount
public int constraintsCount
public long fileSize
public void clear() throws SugarException
SugarException
public void commit() throws SugarException
SugarException
public void cancel() throws SugarException
SugarException
public abstract void done() throws SugarException
SugarException
public int addVariables(int number) throws SugarException
SugarException
public void addComment(java.lang.String comment) throws SugarException
SugarException
public abstract void addPBConstraint(PBExpr expr) throws SugarException
SugarException
public void addPB(PBExpr expr) throws SugarException
SugarException
public abstract void addMinExpr(PBExpr minExpr) throws SugarException
SugarException
public abstract void addPMin(java.lang.String pmin) throws SugarException
SugarException
public java.lang.String summary()