|
PBSugar version 1.1.1 Core API Specification |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectpbsugar.pb.PBConstraint
public class PBConstraint
Field Summary | |
---|---|
static String |
EQ
|
static String |
GE
|
static String |
LE
|
static String |
NE
|
static int |
SORT_COEF
|
Constructor Summary | |
---|---|
PBConstraint(List<BigInteger> as,
List<PBLiteral> xs,
String cmp,
BigInteger b)
|
Method Summary | |
---|---|
BigInteger |
a(int i)
|
PBConstraint |
addB(BigInteger b1)
|
PBConstraint |
addXs(List<String> xs1)
|
List<BigInteger> |
as()
|
BigInteger |
b()
|
String |
cmp()
|
PBConstraint[] |
divideAndRemainder(BigInteger p)
|
boolean |
isSatisfied(Set<String> pbSolution)
|
boolean |
isUnsat()
|
boolean |
isUnsatWhen(int i,
int value)
|
boolean |
isValid()
|
boolean |
isValidWhen(int i,
int value)
|
BigInteger |
lhs(Set<String> pbSolution)
|
void |
normalize()
|
int |
size()
|
String |
toString()
|
BigInteger |
ubLHS()
|
PBLiteral |
x(int i)
|
List<PBLiteral> |
xs()
|
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static int SORT_COEF
public static String LE
public static String GE
public static String EQ
public static String NE
Constructor Detail |
---|
public PBConstraint(List<BigInteger> as, List<PBLiteral> xs, String cmp, BigInteger b)
Method Detail |
---|
public void normalize()
public int size()
public List<BigInteger> as()
public List<PBLiteral> xs()
public BigInteger a(int i)
public PBLiteral x(int i)
public String cmp()
public BigInteger b()
public BigInteger ubLHS()
public boolean isValid()
public boolean isValidWhen(int i, int value)
public boolean isUnsat()
public boolean isUnsatWhen(int i, int value)
public BigInteger lhs(Set<String> pbSolution)
public boolean isSatisfied(Set<String> pbSolution)
public PBConstraint[] divideAndRemainder(BigInteger p)
public PBConstraint addXs(List<String> xs1)
public PBConstraint addB(BigInteger b1)
public String toString()
toString
in class Object
|
PBSugar version 1.1.1 Core API Specification |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |