|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.cp.solver.constraints.integer.bool.sum.BoolSumStructure
public final class BoolSumStructure
A special case of sums over boolean variables only
Field Summary | |
---|---|
int |
bGap
|
int |
bValue
|
protected AbstractSConstraint<?> |
cstr
|
IStateInt |
nbo
The number of variables instantiated to one in the sum |
IStateInt |
nbz
The number of variables instantiated to zero in the sum |
protected IntDomainVar[] |
vars
|
Constructor Summary | |
---|---|
BoolSumStructure(IEnvironment environment,
AbstractSConstraint<?> cstr,
IntDomainVar[] vars,
int bValue)
|
Method Summary | |
---|---|
void |
addOne()
|
void |
addZero()
|
void |
awakeOnEq()
|
void |
awakeOnGeq()
|
void |
awakeOnLeq()
|
void |
awakeOnNeq()
|
int |
computeLbFromScratch()
Computes a lower bound estimate of a linear combination of variables. |
int |
computeUbFromScratch()
Computes an upper bound estimate of a linear combination of variables. |
boolean |
filterGeq()
|
boolean |
filterLeq()
|
void |
forceAllOne()
|
void |
forceAllZero()
|
int |
getbGap()
|
IntDomainVar[] |
getBoolVars()
|
int |
getbValue()
|
IStateInt |
getNbOne()
|
IStateInt |
getNbZero()
|
Boolean |
isEntailedEq()
|
Boolean |
isEntailedGeq()
|
Boolean |
isEntailedLeq()
|
Boolean |
isEntailedNeq()
|
String |
pretty(String operator)
|
void |
putAllOne()
|
void |
putAllZero()
|
void |
reset()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected final IntDomainVar[] vars
protected final AbstractSConstraint<?> cstr
public final IStateInt nbz
public final IStateInt nbo
public final int bGap
public final int bValue
Constructor Detail |
---|
public BoolSumStructure(IEnvironment environment, AbstractSConstraint<?> cstr, IntDomainVar[] vars, int bValue)
Method Detail |
---|
public final IntDomainVar[] getBoolVars()
public final IStateInt getNbZero()
public final IStateInt getNbOne()
public final int getbGap()
public final int getbValue()
public final void reset()
public final boolean filterLeq() throws ContradictionException
ContradictionException
public final boolean filterGeq() throws ContradictionException
ContradictionException
public final void putAllZero() throws ContradictionException
ContradictionException
public final void forceAllZero() throws ContradictionException
ContradictionException
public final void putAllOne() throws ContradictionException
ContradictionException
public final void forceAllOne() throws ContradictionException
ContradictionException
public final void addOne()
public final void addZero()
public void awakeOnEq() throws ContradictionException
ContradictionException
public void awakeOnGeq() throws ContradictionException
ContradictionException
public void awakeOnLeq() throws ContradictionException
ContradictionException
public void awakeOnNeq() throws ContradictionException
ContradictionException
public final int computeUbFromScratch()
public final int computeLbFromScratch()
public Boolean isEntailedEq()
public Boolean isEntailedGeq()
public Boolean isEntailedLeq()
public Boolean isEntailedNeq()
public String pretty(String operator)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |