|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
|---|---|
| BinaryClause | Data structure for binary clause. |
| BinaryClauses | |
| 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 | |
| Lits | |
| Lits2 | |
| Lits23 | |
| MarkableLits | |
| MixableCBClause | Counter Based clauses that can be mixed with WLCLauses |
| OriginalBinaryClause | SAT4J: a SATisfiability library for Java Copyright (C) 2004-2008 Daniel Le Berre All rights reserved. |
| OriginalHTClause | |
| TernaryClauses | |
| UnitClause | |
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 | |||||||||