public final class AtLeastPB extends AtLeast implements PBConstr
lits, maxUnsatisfied, voc
Modifier and Type | Method and Description |
---|---|
void |
assertConstraint(UnitPropagationListener s) |
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() |
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()
public void assertConstraint(UnitPropagationListener s)
assertConstraint
in interface Constr
assertConstraint
in class AtLeast
public IVecInt computeAnImpliedClause()
computeAnImpliedClause
in interface PBConstr
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.