|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.sat4j.minisat.constraints.pb.WatchPb
public abstract class WatchPb
Field Summary | |
---|---|
static boolean |
ATLEAST
|
static boolean |
ATMOST
Constante pour le type d'in? |
Method Summary | |
---|---|
void |
assertConstraint(UnitPropagationListener s)
Method called when the constraint is to be asserted. |
void |
calcReason(int p,
IVecInt outReason)
Calcule la cause de l'affectation d'un litt??? |
int |
get(int i)
Permet d'obtenir le i-??? |
double |
getActivity()
Obtenir la valeur de l'activit??? |
int |
getBacktrackLevel(int maxLevel)
retourne le niveau de backtrack : c'est-? |
java.math.BigInteger |
getCoef(int i)
Permet d'obtenir le i-??? |
java.math.BigInteger |
getDegree()
|
void |
incActivity(double claInc)
Incr??? |
boolean |
isAssertive(int dl)
teste si la contrainte est assertive au niveau de d? |
boolean |
learnt()
Dit si la contrainte est apprise |
boolean |
locked()
La contrainte est la cause d'une propagation unitaire |
java.math.BigInteger |
recalcLeftSide()
somme des coefficients des litteraux satisfaits ou non assignes de la resolvante |
java.math.BigInteger |
recalcLeftSide(java.math.BigInteger[] coefs)
somme des coefficients des litteraux satisfaits ou non assignes de la resolvante |
void |
register()
Register the constraint to the solver. |
void |
rescaleBy(double d)
Permet le r?????? |
void |
setLearnt()
La contrainte est apprise |
boolean |
simplify()
Simplifie la contrainte(l'all??? |
int |
size()
|
java.math.BigInteger |
slackConstraint()
Marge de la contrainte courante marge = poss - degre de la contrainte |
java.math.BigInteger |
slackConstraint(java.math.BigInteger[] coefs,
java.math.BigInteger degree)
Marge de la contrainte courante marge = poss - degre de la contrainte |
java.lang.String |
toString()
Cha??? |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface org.sat4j.minisat.core.Constr |
---|
remove |
Methods inherited from interface org.sat4j.minisat.core.Propagatable |
---|
propagate |
Methods inherited from interface org.sat4j.minisat.core.Undoable |
---|
undo |
Field Detail |
---|
public static final boolean ATMOST
public static final boolean ATLEAST
Method Detail |
---|
public boolean isAssertive(int dl)
dl
-
public void calcReason(int p, IVecInt outReason)
calcReason
in interface Constr
p
- un litt???ral falsifi??? (ou Lit.UNDEFINED)outReason
- la liste des litt???raux falsifi???s dont la n???gation
correspond ??? la raison de l'affectation.Constr.calcReason(int, IVecInt)
public int get(int i)
get
in interface IConstr
i
- indice du litt???ral recherch???
public java.math.BigInteger getCoef(int i)
i
- indice du litt???ral recherch???
public double getActivity()
getActivity
in interface Constr
Constr.getActivity()
public void incActivity(double claInc)
incActivity
in interface Constr
claInc
- the value to increase the activity withConstr.incActivity(double claInc)
public java.math.BigInteger slackConstraint()
public java.math.BigInteger slackConstraint(java.math.BigInteger[] coefs, java.math.BigInteger degree)
coefs
- le tableau des coefficients de la contrainte considereedegree
- le degre de la contrainte consideree
public java.math.BigInteger recalcLeftSide(java.math.BigInteger[] coefs)
coefs
- le tableau des coefficients de la contrainte consid?r?e
public java.math.BigInteger recalcLeftSide()
public boolean learnt()
learnt
in interface IConstr
IConstr.learnt()
public boolean locked()
locked
in interface Constr
Constr.locked()
public void rescaleBy(double d)
rescaleBy
in interface Constr
d
- facteur d'ajustementpublic void setLearnt()
setLearnt
in interface Constr
public boolean simplify()
simplify
in interface Constr
public int size()
size
in interface IConstr
public java.lang.String toString()
toString
in class java.lang.Object
public int getBacktrackLevel(int maxLevel)
maxLevel
- le plus bas niveau pour lequel la contrainte est assertive
public void assertConstraint(UnitPropagationListener s)
Constr
assertConstraint
in interface Constr
s
- a UnitPropagationListener to use for unit propagation.public java.math.BigInteger getDegree()
public void register()
Constr
register
in interface Constr
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |