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() |
BigInteger |
getCoef(int literal) |
BigInteger[] |
getCoefs() |
BigInteger |
getDegree() |
int[] |
getLits() |
ILits |
getVocabulary() |
boolean |
learnt()
D?
|
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 BigInteger getCoef(int literal)
public BigInteger getDegree()
public ILits getVocabulary()
getVocabulary
in interface PBConstr
public BigInteger[] getCoefs()
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
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.