|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
|---|---|
| BinaryClause | Data structure for binary clause. |
| CBClause | |
| Clauses | |
| 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 | |
| LearntWLClause | |
| Lits | |
| MixableCBClause | Counter Based clauses that can be mixed with WLCLauses |
| OriginalBinaryClause | |
| OriginalHTClause | |
| OriginalWLClause | |
| UnitClause | |
| UnitClauses | |
| WLClause | Lazy data structure for clause using Watched Literals. |
Implementations of clausal contraints. Implementation for both counter based and watched literals is provided. Specific implementation for binary and ternary clauses proposed by Lawrence Ryan are available as well.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||