|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.sat4j.minisat.constraints.card.AtLeast
public class AtLeast
Method Summary | |
---|---|
void |
assertConstraint(UnitPropagationListener s)
Method called when the constraint is to be asserted. |
static AtLeast |
atLeastNew(UnitPropagationListener s,
ILits voc,
IVecInt ps,
int n)
|
void |
calcReason(int p,
IVecInt outReason)
Calcule la cause de l'affection d'un litt? |
int |
get(int i)
returns the ith literal in the constraint |
double |
getActivity()
|
void |
incActivity(double claInc)
|
boolean |
learnt()
|
boolean |
locked()
Indicate wether a constraint is responsible from an assignment. |
boolean |
propagate(UnitPropagationListener s,
int p)
Propagate the truth value of a literal in constraints in which that literal is falsified. |
void |
register()
Register the constraint to the solver. |
void |
remove()
Enl? |
void |
rescaleBy(double d)
Rescale the clause activity by a value. |
void |
setLearnt()
Mark a constraint as learnt. |
boolean |
simplify()
Simplifie une contrainte, par exemple en enlevant les litt? |
int |
size()
|
void |
undo(int p)
M? |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public static AtLeast atLeastNew(UnitPropagationListener s, ILits voc, IVecInt ps, int n) throws ContradictionException
ContradictionException
public void remove()
Constr
remove
in interface Constr
public boolean propagate(UnitPropagationListener s, int p)
Propagatable
propagate
in interface Propagatable
s
- something able to perform unit propagationp
- the literal being propagated. Its negation must appear in the
constraint.
public boolean simplify()
Constr
simplify
in interface Constr
public void undo(int p)
Undoable
undo
in interface Undoable
p
- un litt?ral d?saffect?public void calcReason(int p, IVecInt outReason)
Constr
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.public boolean learnt()
learnt
in interface IConstr
public double getActivity()
getActivity
in interface Constr
public void incActivity(double claInc)
incActivity
in interface Constr
claInc
- the value to increase the activity withpublic boolean locked()
Constr
locked
in interface Constr
public void setLearnt()
Constr
setLearnt
in interface Constr
public void register()
Constr
register
in interface Constr
public int size()
size
in interface IConstr
public int get(int i)
IConstr
get
in interface IConstr
i
- the index of the literal
public void rescaleBy(double d)
Constr
rescaleBy
in interface Constr
d
- the value to rescale the clause activity with.public void assertConstraint(UnitPropagationListener s)
Constr
assertConstraint
in interface Constr
s
- a UnitPropagationListener to use for unit propagation.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |