|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use org.sat4j.minisat.constraints.cnf | |
|---|---|
| org.sat4j.minisat.constraints.cnf | Implementations of clausal contraints. |
| org.sat4j.pb.constraints.pb | Implementations of pseudo boolean 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. |
|
| Classes in org.sat4j.minisat.constraints.cnf used by org.sat4j.pb.constraints.pb | |
|---|---|
| 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. |
|
| LearntBinaryClause
|
|
| LearntHTClause
|
|
| MixableCBClause
Counter Based clauses that can be mixed with WLCLauses |
|
| OriginalBinaryClause
|
|
| OriginalHTClause
|
|
| UnitClause
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||