|
||||||||||
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
choco.cp.solver.constraints.integer.intlincomb.IntLinCombNEQ
public final class IntLinCombNEQ
User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 11 mars 2010
Since : Choco 2.1.1
Constructor Summary | |
---|---|
IntLinCombNEQ(int[] coeffs,
int nbPosVars,
int cste,
IntDomainVar[] vars,
AbstractSConstraint constraint)
|
Method Summary | |
---|---|
boolean |
filterOnImprovedLowerBound()
Checks a new lower bound. |
boolean |
filterOnImprovedUpperBound()
Checks a new upper bound. |
protected String |
getOperator()
|
boolean |
isConsistent()
Tests if the constraint is consistent with respect to the current state of domains. |
Boolean |
isEntailed()
Checks if the constraint is entailed. |
boolean |
isSatisfied(int[] tuple)
Checks if the constraint is satisfied when all variables are instantiated. |
AbstractSConstraint |
opposite(Solver solver)
Computes the opposite of this constraint. |
Methods inherited from class choco.cp.solver.constraints.integer.intlincomb.IntLinCombOp |
---|
compute, filter, hasConsistentUpperBound, pretty |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public IntLinCombNEQ(int[] coeffs, int nbPosVars, int cste, IntDomainVar[] vars, AbstractSConstraint constraint)
Method Detail |
---|
public Boolean isEntailed()
isEntailed
in class IntLinCombOp
public boolean isSatisfied(int[] tuple)
isSatisfied
in class IntLinCombOp
tuple
- array of values
public boolean filterOnImprovedLowerBound() throws ContradictionException
filterOnImprovedLowerBound
in class IntLinCombOp
ContradictionException
- if a domain empties or a contradiction is
inferedpublic boolean filterOnImprovedUpperBound() throws ContradictionException
filterOnImprovedUpperBound
in class IntLinCombOp
ContradictionException
- if a domain empties or a contradiction is
inferedpublic boolean isConsistent()
isConsistent
in class IntLinCombOp
public AbstractSConstraint opposite(Solver solver)
opposite
in class IntLinCombOp
solver
- containing solver
protected String getOperator()
getOperator
in class IntLinCombOp
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |