|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
|---|---|
| BinaryClauses | |
| CBClause | |
| DefaultWLClause | |
| LearntWLClause | |
| Lits | |
| Lits2 | |
| Lits23 | |
| MarkableLits | |
| MixableCBClause | Counter Based clauses that can be mixed with WLCLauses |
| OriginalWLClause | |
| TernaryClauses | |
| 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 | |||||||||