public class PBExpr extends Object
Constructor and Description |
---|
PBExpr() |
Modifier and Type | Method and Description |
---|---|
void |
add(int b) |
void |
add(int a,
int code) |
void |
add(PBExpr expr) |
void |
add(PBExpr expr,
int factor) |
int |
getA(int code) |
int |
getB() |
String |
getCmp() |
int |
getLB() |
int |
getUB() |
Set<Integer> |
getXs() |
boolean |
isValid() |
void |
relax(int code) |
void |
setB(int b) |
void |
setCmp(String cmp) |
String |
toString() |
int |
value(BitSet pbValues) |
public int getA(int code)
public int getB()
public void setB(int b)
public String getCmp()
public void setCmp(String cmp) throws SugarException
SugarException
public int getLB()
public int getUB()
public void add(int b)
public void add(int a, int code)
public void add(PBExpr expr, int factor)
public void add(PBExpr expr)
public void relax(int code)
public boolean isValid()
public int value(BitSet pbValues)