|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ILits23
Field Summary |
---|
Fields inherited from interface org.sat4j.minisat.core.ILits |
---|
UNDEFINED |
Method Summary | |
---|---|
int |
nTernaryClauses(int p)
|
void |
ternaryClauses(int lit1,
int lit2,
int lit3)
|
Methods inherited from interface org.sat4j.minisat.core.ILits2 |
---|
binaryClauses, nBinaryClauses |
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 nTernaryClauses(int p)
void ternaryClauses(int lit1, int lit2, int lit3)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |