|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.sat4j.maxsat.UnitWeightedClause
public class UnitWeightedClause
Method Summary | |
---|---|
boolean |
canBePropagatedMultipleTimes()
Partition constraints into the ones that can only be found once on the trail (e.g. clauses) and the ones that can be found several times (e.g. |
int |
get(int i)
returns the ith literal in the constraint |
double |
getActivity()
To obtain the activity of the constraint. |
static UnitWeightedClause |
instance()
|
boolean |
learnt()
|
int |
size()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public static UnitWeightedClause instance()
public boolean learnt()
learnt
in interface IConstr
public int size()
size
in interface IConstr
public int get(int i)
IConstr
get
in interface IConstr
i
- the index of the literal
public double getActivity()
IConstr
getActivity
in interface IConstr
public boolean canBePropagatedMultipleTimes()
IConstr
canBePropagatedMultipleTimes
in interface IConstr
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |