|
||||||||||
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
constant for the initial type of inequality more than or equal |
static boolean |
ATMOST
constant for the initial type of inequality less than or equal |
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??? |
boolean |
coefficientsEqualToOne()
|
IVecInt |
computeAnImpliedClause()
compute an implied clause on the literals with the greater coefficients |
int |
get(int i)
Permet d'obtenir le i-??? |
double |
getActivity()
Obtenir la valeur de l'activit??? |
java.math.BigInteger |
getCoef(int i)
Permet d'obtenir le i-??? |
java.math.BigInteger[] |
getCoefs()
|
java.math.BigInteger |
getDegree()
|
int[] |
getLits()
|
ILits |
getVocabulary()
|
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 |
static IDataStructurePB |
niceCheckedParameters(IVecInt ps,
IVec<java.math.BigInteger> bigCoefs,
boolean moreThan,
java.math.BigInteger bigDeg,
ILits voc)
|
static IDataStructurePB |
niceParameters(IVecInt ps,
IVec<java.math.BigInteger> bigCoefs,
boolean moreThan,
java.math.BigInteger bigDeg,
ILits voc)
|
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 |
static java.math.BigInteger |
toBigInt(int i)
|
java.lang.String |
toString()
Cha??? |
static IVec<java.math.BigInteger> |
toVecBigInt(IVecInt vec)
|
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)
getCoef
in interface PBConstr
i
- indice du litt???ral recherch???
public double getActivity()
getActivity
in interface Constr
Constr.getActivity()
public static IDataStructurePB niceParameters(IVecInt ps, IVec<java.math.BigInteger> bigCoefs, boolean moreThan, java.math.BigInteger bigDeg, ILits voc) throws ContradictionException
ContradictionException
public static IDataStructurePB niceCheckedParameters(IVecInt ps, IVec<java.math.BigInteger> bigCoefs, boolean moreThan, java.math.BigInteger bigDeg, ILits voc)
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 void assertConstraint(UnitPropagationListener s)
Constr
assertConstraint
in interface Constr
s
- a UnitPropagationListener to use for unit propagation.public java.math.BigInteger getDegree()
getDegree
in interface PBConstr
public void register()
Constr
register
in interface Constr
public static IVec<java.math.BigInteger> toVecBigInt(IVecInt vec)
public static java.math.BigInteger toBigInt(int i)
public java.math.BigInteger[] getCoefs()
getCoefs
in interface PBConstr
public int[] getLits()
getLits
in interface PBConstr
public ILits getVocabulary()
getVocabulary
in interface PBConstr
public IVecInt computeAnImpliedClause()
computeAnImpliedClause
in interface PBConstr
public boolean coefficientsEqualToOne()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |