PBSugar version 1.1.1 Core API Specification

pbsugar.pb
Class PBConstraint

java.lang.Object
  extended by pbsugar.pb.PBConstraint

public class PBConstraint
extends Object


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

SORT_COEF

public static int SORT_COEF

LE

public static String LE

GE

public static String GE

EQ

public static String EQ

NE

public static String NE
Constructor Detail

PBConstraint

public PBConstraint(List<BigInteger> as,
                    List<PBLiteral> xs,
                    String cmp,
                    BigInteger b)
Method Detail

normalize

public void normalize()

size

public int size()

as

public List<BigInteger> as()

xs

public List<PBLiteral> xs()

a

public BigInteger a(int i)

x

public PBLiteral x(int i)

cmp

public String cmp()

b

public BigInteger b()

ubLHS

public BigInteger ubLHS()

isValid

public boolean isValid()

isValidWhen

public boolean isValidWhen(int i,
                           int value)

isUnsat

public boolean isUnsat()

isUnsatWhen

public boolean isUnsatWhen(int i,
                           int value)

lhs

public BigInteger lhs(Set<String> pbSolution)

isSatisfied

public boolean isSatisfied(Set<String> pbSolution)

divideAndRemainder

public PBConstraint[] divideAndRemainder(BigInteger p)

addXs

public PBConstraint addXs(List<String> xs1)

addB

public PBConstraint addB(BigInteger b1)

toString

public String toString()
Overrides:
toString in class Object

PBSugar version 1.1.1 Core API Specification

PBSugar: SAT-based Pseudo Boolean Constraint Solver