|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use org.sat4j.minisat.constraints.cnf | |
---|---|
org.sat4j.minisat.constraints.cnf | Implementations of clausal contraints. |
Classes in org.sat4j.minisat.constraints.cnf used by org.sat4j.minisat.constraints.cnf | |
---|---|
BinaryClause
Data structure for binary clause. |
|
CBClause
|
|
HTClause
Lazy data structure for clause using the Head Tail data structure from SATO, The original scheme is improved by avoiding moving pointers to literals but moving the literals themselves. |
|
OriginalBinaryClause
|
|
OriginalHTClause
|
|
OriginalWLClause
|
|
WLClause
Lazy data structure for clause using Watched Literals. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |