public final class AtLeastPB extends AtLeast implements PBConstr
lits, maxUnsatisfied, voc
Modifier and Type | Method and Description |
---|---|
void |
assertConstraint(UnitPropagationListener s)
Method called when the constraint is to be asserted.
|
static AtLeastPB |
atLeastNew(ILits voc,
IVecInt ps,
int n) |
static PBConstr |
atLeastNew(UnitPropagationListener s,
ILits voc,
IVecInt ps,
int n) |
IVecInt |
computeAnImpliedClause() |
java.math.BigInteger |
getCoef(int literal) |
java.math.BigInteger[] |
getCoefs() |
java.math.BigInteger |
getDegree() |
int[] |
getLits() |
ILits |
getVocabulary() |
boolean |
learnt()
D?termine si la contrainte est apprise
|
void |
setLearnt()
Mark a constraint as learnt.
|
assertConstraintIfNeeded, calcReason, calcReasonOnTheFly, canBePropagatedMultipleTimes, forwardActivity, get, getActivity, incActivity, locked, niceParameters, propagate, register, remove, rescaleBy, setActivity, simplify, size, toConstraint, toString, undo
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
assertConstraintIfNeeded, calcReason, calcReasonOnTheFly, forwardActivity, incActivity, locked, register, remove, rescaleBy, setActivity, simplify
canBePropagatedMultipleTimes, get, getActivity, size
public static PBConstr atLeastNew(UnitPropagationListener s, ILits voc, IVecInt ps, int n) throws ContradictionException
ContradictionException
public java.math.BigInteger getCoef(int literal)
public ILits getVocabulary()
getVocabulary
in interface PBConstr
public boolean learnt()
learnt
in interface IConstr
learnt
in class AtLeast
IConstr.learnt()
public void setLearnt()
Constr
public void assertConstraint(UnitPropagationListener s)
Constr
assertConstraint
in interface Constr
assertConstraint
in class AtLeast
s
- a UnitPropagationListener to use for unit propagation.public IVecInt computeAnImpliedClause()
computeAnImpliedClause
in interface PBConstr