|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.cp.solver.constraints.integer.intlincomb.IntLinCombOp
public abstract class IntLinCombOp
User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 11 mars 2010
Since : Choco 2.1.1
Method Summary | |
---|---|
int |
compute(int[] tuple)
|
void |
filter(boolean startWithLB,
int minNbRules)
A strategy for chaotic iteration with two rules (LB and UB propagation). |
protected abstract boolean |
filterOnImprovedLowerBound()
Checks a new lower bound. |
protected abstract boolean |
filterOnImprovedUpperBound()
Checks a new upper bound. |
protected abstract String |
getOperator()
|
protected boolean |
hasConsistentUpperBound()
Tests if the constraint is consistent with respect to the current state of domains. |
abstract boolean |
isConsistent()
Tests if the constraint is consistent with respect to the current state of domains. |
abstract Boolean |
isEntailed()
Checks if the constraint is entailed. |
abstract boolean |
isSatisfied(int[] tuple)
Checks if the constraint is satisfied when all variables are instantiated. |
abstract AbstractSConstraint |
opposite(Solver solver)
Computes the opposite of this constraint. |
String |
pretty()
Pretty print for this constraint. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public abstract Boolean isEntailed()
public abstract boolean isSatisfied(int[] tuple)
tuple
- array of values
public final int compute(int[] tuple)
protected abstract boolean filterOnImprovedLowerBound() throws ContradictionException
ContradictionException
- if a domain empties or a contradiction is
inferedprotected abstract boolean filterOnImprovedUpperBound() throws ContradictionException
ContradictionException
- if a domain empties or a contradiction is
inferedpublic abstract boolean isConsistent()
public abstract AbstractSConstraint opposite(Solver solver)
solver
- containing solver
public final void filter(boolean startWithLB, int minNbRules) throws ContradictionException
startWithLB
- whether LB must be the first rule appliedminNbRules
- minimum number of rules required to reach fix point.
ContradictionException
- if a domain empties or a contradiction is
inferedprotected final boolean hasConsistentUpperBound()
protected abstract String getOperator()
public String pretty()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |