public abstract class PBProblem extends Object
Constructor and Description |
---|
PBProblem() |
Modifier and Type | Method and Description |
---|---|
void |
addComment(String comment) |
abstract void |
addMinExpr(PBExpr minExpr) |
void |
addPB(PBExpr expr) |
abstract void |
addPBConstraint(PBExpr expr) |
int |
addVariables(int number) |
void |
cancel() |
void |
clear() |
void |
commit() |
abstract void |
done() |
String |
summary() |
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(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 String summary()