| Package | Description |
|---|---|
| org.sat4j.minisat.constraints.cnf | |
| org.sat4j.pb.constraints.pb |
| Class and Description |
|---|
| BinaryClause
Data structure for binary clause.
|
| 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.
|
| Class and Description |
|---|
| BinaryClause
Data structure for binary clause.
|
| 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 |
| OriginalBinaryClause |
| OriginalHTClause |
| UnitClause |
| UnitClauses |