|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.sat4j.pb.constraints.pb.WatchPb org.sat4j.pb.constraints.pb.MinWatchPb
public class MinWatchPb
Field Summary | |
---|---|
protected boolean[] |
watched
Liste des indices des litt??? |
protected int[] |
watching
Sert ??? |
protected int |
watchingCount
Liste des indices des litt??? |
Fields inherited from class org.sat4j.pb.constraints.pb.WatchPb |
---|
activity, ATLEAST, ATMOST, coefs, degree, learnt, lits, voc, watchCumul |
Constructor Summary | |
---|---|
protected |
MinWatchPb(ILits voc,
IDataStructurePB mpb)
Constructeur de base des contraintes |
protected |
MinWatchPb(ILits voc,
int[] lits,
java.math.BigInteger[] coefs,
java.math.BigInteger degree)
|
Method Summary | |
---|---|
protected void |
computePropagation(UnitPropagationListener s)
|
protected void |
computeWatches()
|
protected java.math.BigInteger |
maximalCoefficient(int pIndice)
|
protected int |
nbOfWatched()
Nombre de litt??? |
static MinWatchPb |
normalizedMinWatchPbNew(UnitPropagationListener s,
ILits voc,
int[] lits,
java.math.BigInteger[] coefs,
java.math.BigInteger degree)
|
static WatchPb |
normalizedWatchPbNew(ILits voc,
IDataStructurePB mpb)
|
boolean |
propagate(UnitPropagationListener s,
int p)
Propagation de la valeur de v??? |
void |
remove(UnitPropagationListener upl)
Enl??? |
void |
undo(int p)
M??? |
protected java.math.BigInteger |
updateWatched(java.math.BigInteger mc,
int pIndice)
|
Methods inherited from class org.sat4j.pb.constraints.pb.WatchPb |
---|
assertConstraint, calcReason, coefficientsEqualToOne, computeAnImpliedClause, equals, forwardActivity, get, getActivity, getCoef, getCoefs, getDegree, getLits, getVocabulary, hashCode, incActivity, isAssertive, isSatisfiable, learnt, locked, ppcm, recalcLeftSide, recalcLeftSide, register, rescaleBy, setLearnt, simplify, size, slackConstraint, slackConstraint, sort, sort, toString |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
protected boolean[] watched
protected int[] watching
protected int watchingCount
Constructor Detail |
---|
protected MinWatchPb(ILits voc, IDataStructurePB mpb)
voc
- Informations sur le vocabulaire employ???mpb
- a mutable PB constraintprotected MinWatchPb(ILits voc, int[] lits, java.math.BigInteger[] coefs, java.math.BigInteger degree)
Method Detail |
---|
protected void computeWatches() throws ContradictionException
computeWatches
in class WatchPb
ContradictionException
protected void computePropagation(UnitPropagationListener s) throws ContradictionException
computePropagation
in class WatchPb
ContradictionException
public static MinWatchPb normalizedMinWatchPbNew(UnitPropagationListener s, ILits voc, int[] lits, java.math.BigInteger[] coefs, java.math.BigInteger degree) throws ContradictionException
s
- a unit propagation listenervoc
- the vocabularylits
- the literalscoefs
- the coefficientsdegree
- the degree of the constraint to normalize.
ContradictionException
protected int nbOfWatched()
public boolean propagate(UnitPropagationListener s, int p)
s
- un prouveurp
- le litt???ral propag??? (il doit etre falsifie)
public void remove(UnitPropagationListener upl)
public void undo(int p)
p
- un litt???ral d???saffect???public static WatchPb normalizedWatchPbNew(ILits voc, IDataStructurePB mpb)
protected java.math.BigInteger maximalCoefficient(int pIndice)
pIndice
- propagated literal : its coefficient is excluded from the
search of the maximal coefficient
protected java.math.BigInteger updateWatched(java.math.BigInteger mc, int pIndice)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |