jp.kobe_u.sugar.pb

Class PBExpr

java.lang.Object

jp.kobe_u.sugar.pb.PBExpr

public class PBExpr
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PBExpr()

Method Summary

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)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

PBExpr

public PBExpr()

Method Detail

size

public int size()

getXs

public java.util.Set<java.lang.Integer> getXs()

getA

public int getA(int code)

getB

public int getB()

setB

public void setB(int b)

getCmp

public java.lang.String getCmp()

setCmp

public void setCmp(java.lang.String cmp)
            throws SugarException

Throws:

SugarException

getLB

public int getLB()

getUB

public int getUB()

add

public void add(int b)

add

public void add(int a,
                int code)

add

public void add(PBExpr expr,
                int factor)

add

public void add(PBExpr expr)

relax

public void relax(int code)

isValid

public boolean isValid()

isUnsatisfiable

public boolean isUnsatisfiable()

value

public int value(java.util.BitSet pbValues)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object