public class PBExpr
extends java.lang.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() |
java.lang.String |
getCmp() |
int |
getLB() |
int |
getUB() |
java.util.Set<java.lang.Integer> |
getXs() |
boolean |
isUnsatisfiable() |
boolean |
isValid() |
void |
relax(int code) |
void |
setB(int b) |
void |
setCmp(java.lang.String cmp) |
int |
size() |
java.lang.String |
toString() |
int |
value(java.util.BitSet pbValues) |
public int size()
public java.util.Set<java.lang.Integer> getXs()
public int getA(int code)
public int getB()
public void setB(int b)
public java.lang.String getCmp()
public void setCmp(java.lang.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 boolean isUnsatisfiable()
public int value(java.util.BitSet pbValues)
public java.lang.String toString()
toString
in class java.lang.Object