|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ILits2
Field Summary |
---|
Fields inherited from interface org.sat4j.minisat.core.ILits |
---|
UNDEFINED |
Method Summary | |
---|---|
void |
binaryClauses(int lit1,
int lit2)
Method to create a binary clause. |
int |
nBinaryClauses(int p)
To know the number of binary clauses in which the literal occurs. |
Methods inherited from interface org.sat4j.minisat.core.ILits |
---|
belongsToPool, ensurePool, getFromPool, getLevel, getReason, init, isFalsified, isImplied, isSatisfied, isUnassigned, not, nVars, realnVars, reset, resetPool, satisfies, setLevel, setReason, unassign, undos, valueToString, watch, watches |
Method Detail |
---|
int nBinaryClauses(int p)
p
-
void binaryClauses(int lit1, int lit2)
lit1
- the first literal of the clauselit2
- the second literal of the clause
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |