public final class MinWatchCardPB extends MinWatchCard implements PBConstr
ATLEAST, ATMOST, degree, watchCumul
Constructor and Description |
---|
MinWatchCardPB(ILits voc,
IVecInt ps,
boolean moreThan,
int degree) |
MinWatchCardPB(ILits voc,
IVecInt ps,
int degree) |
Modifier and Type | Method and Description |
---|---|
void |
assertConstraint(UnitPropagationListener s)
Method called when the constraint is to be asserted.
|
IVecInt |
computeAnImpliedClause() |
java.math.BigInteger |
getCoef(int literal) |
java.math.BigInteger[] |
getCoefs() |
java.math.BigInteger |
getDegree() |
boolean |
learnt()
D?termine si la contrainte est apprise
|
static PBConstr |
minWatchCardPBNew(UnitPropagationListener s,
ILits voc,
IVecInt ps,
boolean moreThan,
int degree)
Permet la cr?ation de contrainte de cardinalit? ? observation minimale
|
static PBConstr |
normalizedMinWatchCardPBNew(UnitPropagationListener s,
ILits voc,
IVecInt ps,
int degree)
Permet la cr?ation de contrainte de cardinalit? ? observation minimale
|
void |
register()
Register the constraint to the solver.
|
void |
setLearnt()
Mark a constraint as learnt.
|
assertConstraintIfNeeded, calcReason, calcReasonOnTheFly, canBePropagatedMultipleTimes, computePropagation, computeWatches, equals, forwardActivity, get, getActivity, getLits, getVocabulary, hashCode, incActivity, linearisation, locked, minWatchCardNew, normalize, propagate, remove, rescaleBy, setActivity, simplify, size, toConstraint, toString, undo
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getLits, getVocabulary
assertConstraintIfNeeded, calcReason, calcReasonOnTheFly, forwardActivity, incActivity, locked, remove, rescaleBy, setActivity, simplify
canBePropagatedMultipleTimes, get, getActivity, size
public java.math.BigInteger getCoef(int literal)
public static PBConstr normalizedMinWatchCardPBNew(UnitPropagationListener s, ILits voc, IVecInt ps, int degree) throws ContradictionException
s
- outil pour la propagation des litt?rauxvoc
- vocabulaire utilis? par la contrainteps
- liste des litt?raux de la nouvelle contraintedegree
- fournit le degr? de la contrainteContradictionException
public static PBConstr minWatchCardPBNew(UnitPropagationListener s, ILits voc, IVecInt ps, boolean moreThan, int degree) throws ContradictionException
s
- outil pour la propagation des litt?rauxvoc
- vocabulaire utilis? par la contrainteps
- liste des litt?raux de la nouvelle contraintemoreThan
- d?termine si c'est une sup?rieure ou ?gal ? l'originedegree
- fournit le degr? de la contrainteContradictionException
public boolean learnt()
learnt
in interface IConstr
learnt
in class MinWatchCard
IConstr.learnt()
public void setLearnt()
Constr
setLearnt
in interface Constr
setLearnt
in class MinWatchCard
public void register()
Constr
register
in interface Constr
register
in class MinWatchCard
public void assertConstraint(UnitPropagationListener s)
Constr
assertConstraint
in interface Constr
assertConstraint
in class MinWatchCard
s
- a UnitPropagationListener to use for unit propagation.public IVecInt computeAnImpliedClause()
computeAnImpliedClause
in interface PBConstr